Кулямин В.В., Петренко А.К., Хорошилов А.В. Верификация компонентов операционных систем // № 10, 2017
Старолетов С.М. Преподавание дисциплины «Тестирование и верификация программного обеспечения» будущим программистам // № 21, 2022
