И. Бурдонов, А. Косачев
Теория верификации соответствия программ. Лекция 1
Мехмат, лекции проходили в Институте механики. 2006.
31 слайд