Einführung in die Semantik von Programmiersprachen - Struckmann, Werner