И.Б.Бурдонов, А.С.Косачев, В.В.Кулямин.
Использование конечных автоматов для тестирования программ.
"Программирование",-2000, №2.- стр.12-28.
15 стр.
doc
,
pdf