Я всегда даю ссылку на эту работу Дейкстры:
http://khpi-iip.mipk.kharkiv.edu/librar ... ex316.html

Про введение алгоритмических конструкций "вообще", докомпьютерно - глава 1 "Некоторые фундаментальные понятия". Вообще, пожалуй, единственный известный мне учебный материал, где понятие алгоритма вводится физически (как шаблон процессов, поведения), а не тупо "последовательность шагов...", или косвенной тавтологией через теорию вычислимости (как теоретики любят).

(Я сам пришёл к такому стилю объяснения до знакомства с этой работой, потому что опыт у меня такой - системное программирование, управляющие алгоритмы.., где игра словами про "1. Конечность. 2. Результативность." и т.п. вообще теряет всякий смысл. Потом нашёл эту работу, очень обрадовался, и, в общем, этой 1-й главы и придерживаюсь на 1-2 паре, с вариациями - например, рисование..).

Про построение циклов см.http://oberoncore.ru/wiki/start.