1. Несомненно.
2. Пожалуй, что да.
3-4. Лингер Р., Миллс X., Уитт Б. Теория и практика структурного программирования.
Вот на Озоне:https://www.ozon.ru/context/detail/id/21211120/
5-6-7-8. Нет. Думаю, Вирт всегда несколько особняком стоял в своих взглядах. Возможно, он считал, что не нужно изобретать новых терминов для того, что он регулярно и постоянно использует в своей практике программирования. Типа - раздувают из мелочи слона.
В книжке Вирта упор сделан на метод пошагового уточнения - это он считал ОЧЕНЬ важным, и в следующих книгах об этом постоянно писал.