Ануреев И. С. Операционно-онтологическая семантика обработки исключений // Тезисы докладов международной конференции «Космос, астрономия и программирование» (Лавровские чтения). СПб., 2008а. С. 15–22.
Ануреев И. С. Операционно-онтологическая семантика операторов безусловной передачи управления в языке C# // Тезисы докладов международной конференции «Космос, астрономия и программирование» (Лавровские чтения). СПб., 2008б. С. 259–266.
Гуревич Ю. Последовательные машины абстрактных состояний // «Формальные методы и модели информатики»: Сб. науч. тр. Серия «Системная информатика». Новосибирск: Изд-во СО РАН, 2004. Вып. 9. C. 7–50.
Cодружество «РЕФАЛ / Суперкомпиляция». [Электронный ресурс]. Режим доступа: http://refal.net
Anureev I. S. Ontological Transition Systems // Joint NCC&IIS Bull. Series: Computer Science. 2007. Iss. 26. P. 1–17.
AsmL: The Abstract State Machine Language. – Reference Manual. 2002. [Электронный ресурс]. Режим доступа: http://research.microsoft.com/fse/asml/doc/AsmL2\_Reference.doc.
Huggins J. Abstract State Machines Web Page. http://www.eecs.umich.edu/gasm. XasM An Extensible, Component-Based Abstract State Machines Language. [Электронный ресурс]. Режим доступа: http://xasm.sourceforge.net/XasmAnl00/XasmAnl00.html