NabiullinO. and BabkinE. 2008. Моделирование и автоматическая проверка по AsmL. Business Informatics. 2, 4 (Jan. 2008), 56-63.