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