В книге “Дисциплина программирования” великий Дейкстра описывает методику формализованного построения алгоритмов. В принципе, защитное программирование — это тривиальный частный случай подхода, описанного в книге.
Книга вышла в издательстве “Мир” в 1978 году. Сейчас её можно купить в букинистических магазинах.
Книга М. Спивака “Восхитительный TeX: Руководство по комфортному изготовлению научных публикаций в пакете AMS-TeX” (Москва: “Мир”, 1993 г., 285 стр., тираж 7000 экз., ISBN 5-03-001942-1). Можно найти в букинистических магазинах и в библиотеках.
В оригинале можно купить здесь: Michael Spivak “Joy of Tex: A Gourmet Guide to Typesetting With the Ams-Tex Macro Package”
