The Formal Semantics of Programming Languages (1993)

by G Winskel