Функциональное программирование ушло лесом, вся директория: ни малейшего желания использовать диалекты LISPa.
Две книги по дизайну - нафиг: я не сообразил, что помимо дизайна софта бывает веб-дизайн (хорошо хоть не одежный).
Две книги Майерса, посвященные сходным проблемам: как тестировать софт и как обеспечить его надежность. Написано четверть века назад, тем не менее, кое-что полезное было.
Сегодня добью повестушку с многообещающим названием "Writing bug-free C code". Как ни странно, есть полезняшки, о которых я доселе не знал.