Einfuhrung in die Semantik von Programmiersprachen - Alber, Klaus (BI Wissenschaftsverlag, 1988)