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