@book{ Solr-503794, title = {The formal semantics of programming languages an introduction / Glynn Winskel.}, series = {Foundations of computing.}, author = {Winskel, G. (Glynn)}, address = {Cambridge, Mass.}, publisher = {MIT Press}, year = {1993}, url = {http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6276826} }