The Formal Semantics of Programming Languages: An Introduction. Foundations of Computing series (1993)

by Glynn Winskel