Formal Semantics of Programming Languages [Winskel, Glynn] on Amazon.com. *FREE* shipping on qualifying offers. Formal Semantics of Programming Languages