Лушев, А. и Половикова, О. (2016) «ФОРМАЛЬНАЯ И КОНТЕКСТНАЯ ПРОВЕРКА ТЕКСТОВЫХ ДОКУМЕНТОВ», Труды семинара по геометрии и математическому моделированию, 0(2), сс. с. 36-38. доступно на: http://journal.asu.ru/psgmm/article/view/2052 (просмотрено: 22ноябрь2024).