ШПАКОВ,. Спецификация знаний динамики на основе транзитивной модели непрерывных процессов. Труды СПИИРАН, v. 1, n. 3, p. 191-197, 1 fev. 2006.