Semantik von Programmiersprachen - Fehr, Elfriede (Springer, 1989)