Кубасов С.В. Верификация автоматных программ в контексте синхронного программирования : автореф. дис. .. канд. техн. наук: 05.13.11 / С. В. Кубасов, 2008. - 19 с. - Текст : непосредственный.