The Formal Semantics of Programming Languages: An Introduction (1993)

by Glynn WYNSKEL