ШПАКОВ, В. М. Об использовании трансформационных правил для компьютерной реализации непрерывных процессов. Труды СПИИРАН, v. 2, n. 33, p. 99-116, 2 jun. 2014.