НабиуллинО., и Эдуард Бабкин. «Моделирование и автоматическая проверка по AsmL». Бизнес-информатика 2, no. 4 (январь 20, 2008): 56-63. просмотрено декабрь 8, 2025. https://bijournal.hse.ru/article/view/26385.