И.Б.Бурдонов.
Теория конформности (функциональное тестирование программных систем на основе формальных моделей).
LAP LAMBERT Academic Publishing, Saarbrucken, Germany, 2011, 428 стр. ISBN 978-3-8454-1747-9.
428 стр.