The Formal Semantics of Programming Languages. Foundation of Computing Series (1993)

by Glynn Winskel