1. Шпаков В.М. Об использовании трансформационных правил для компьютерной реализации непрерывных процессов // Труды СПИИРАН. 2014. № 33 (2). C. 99-116.