• J. Bishop: Java lernen, Addison Wesley, 2001.
• D.D. Riley: The Object of Java -- Introduction to Programming Using Software Engineering Principles, Addison Wesley, 2002.
• D. Arnow, G. Weiss: Introduction to Programming Using Java, Addison Wesley, 2000.
• S. Thompson: Haskell -- The Craft of Functional Programming, Addison-Wesley, 1999.
• R. Bird: Introduction to Functional Programming using Haskell, Prentice Hall, 1998.

Am Beispiel der Sprache Java werden die wesentlichen Konzepte von Programmiersprachen und geeignete Programmiertechniken erläutert. Neben den grundlegenden Kontrollstrukturen wie Sequenz, Verzweigung, Schleife und Rekursion sowie den grundlegenden Datenstrukturen wie Arrays werden insbesondere auch die Grundbegriffe objektorientierter Sprachen wie Klasse, Objekt, Methode, Attribut und Vererbung erklärt. Um Alternativen zur objektorientierten bzw. imperativen Programmierung aufzuzeigen, werden auch die Grundkonzepte deklarativer Programmiersprachen vorgestellt. Schließlich werden Ansätze zur Formalisierung der Semantik von Programmiersprachen behandelt.