Шпаков, Спецификация знаний динамики на основе транзитивной модели непрерывных процессов, ТС, т. 1, вып. 3, сс. 191-197, фев. 2006.