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