НабиуллинО.; БабкинЭ. Моделирование и автоматическая проверка по AsmL. Бизнес-информатика, v. 2, n. 4, p. 56-63, 20 янв. 2008.