Не забудьте ещё про Вирта "Систематическое программирование".
Вот там, кажется, step-by-step refinement-у много внимания.
А вообще, для падаванов (и их наставников) очень прописан Кушниренко
- самый обычный "Основы информатики и вычислительной техники",
мехматовский "Программирование для математиков"
и "Как преподавать школьный курс информатики".
http://www.niisi.ru/kumir/books.htmНету аналогов по глубине базовой постановки мозгов.
Те из падаванов,кто сначала думает, что "это игрушки, типа, робот на клетках" - не могут обычно написать тривиальный какой-нить цикл для простой визуально задачи на этом клетчатом поле (где нужна конъюнкция/дизъюнкция в условии и т.п.) - и уже не думают, что это игрушки