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