Winskel,Glynn The Formal Semantics of Programming Language: An Introduction Winskel,Glynn - USA MIT 1993 - 361 Illustration,index & bibliography ISBN: 9780262231695 Dewey Class. No.: 005.13 / W7322