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