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