В. М. Шпаков, Об использовании трансформационных правил для компьютерной реализации непрерывных процессов, ТС, т. 2, вып. 33, сс. 99-116, июн. 2014.