Semantics with Applications: A Formal Introduction (1992)

by Hanne Riis Nielson, Flemming Nielson