Semantische Theorie der Programmsprachen - Schwenkel, Frieder (1966)