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