Text this: Тестирование программной реализации протокола IRC на основе модели расширенного автомата; Известия Томского политехнического университета [Известия ТПУ]; Т. 318, № 5 : Управление, вычислительная техника и информатика