The formal semantics of programming languages

Glynn Winskel
MIT Press
9780262231695
0-262-23169-7