Шпаков,: Спецификация знаний динамики на основе транзитивной модели непрерывных процессов. Труды СПИИРАН 1(3), 191-197 (2006). doi:10.15622/sp.3.11