Старолетов С.М. Проектирование и реализация программного обеспечения для подготовки воды с использованием автоматного подхода и анализа спецификаций // № 10, 2017
