Nielson, H. R. and F. Nielson. Semantics with Applications. Wiley, 1992.

Languages mentioned

• WHILE {2002}