Grundlagen der Programmiersprachen Principles of programming languages - Tennent, Robert (Hanser, 1982)