Полубелова, Ольга Витальевна, и Игорь Витальевич Котенко. Верификация правил фильтрации с временными характеристиками методом “проверки на модели”. Труды СПИИРАН 3, no. 22 (сентябрь 1, 2012): 113-138. просмотрено апрель 19, 2024. http://proceedings.spiiras.nw.ru/index.php/sp/article/view/1617.