Zaslat SMS: Концепция формализации и программной реализации ИТ-задач: анализ, модель, алгоритмизация, инженерия; Известия Томского политехнического университета [Известия ТПУ]. Промышленная кибернетика; Т. 3, № 4