Худов К.А. Математическое и программное обеспечение средств верификации программ микроконтроллерных устройств : автореф. дис. .. канд. техн. наук: 05.13.11 / К. А. Худов, 2006. - 20 с. - Текст : непосредственный.