"Abstraktion - Einfuhrung in die Programmierung" - читать интересную книгу автора (Klaeren, Sperber)