В этой книге Ричард Берд представляет принципиально новый подход к проектированию алгоритмов, а именно проектирование посредством формального вывода. Основное содержание книги разделено на 30 коротких глав, называемых жемчужинами, в каждой из которых решается конкретная программистская задача.

Рассмотрены основы структурной методики построения алгоритмов и программирования на базе языка Паскаль (версия ТурбоПаскаль (7.0), а также основные понятия объектно-ориентированного программирования и его реализация на языке ТурбоПаскаль.