Титульный лист и содержание

книги "The correctness problem in computer science", выпущенной издательством "Academic Press" в 1981 г.