Систематическое программирование введение - Вирт Н. (Мир, 1977)