NabiullinO.; BabkinE. Моделирование и автоматическая проверка по AsmL. JBI 2008, 2, 56-63.