12430

1 
@string{LNCS="Lect.\ Notes in Comp.\ Sci."}


2 
@string{MIT="MIT Press"}


3 
@string{Springer="SpringerVerlag"}


4 


5 
@book{Nielson,author={Hanne Riis Nielson and Flemming Nielson},


6 
title={Semantics with Applications},publisher={Wiley},year=1992}


7 


8 
@book{Winskel,author={Glynn Winskel},


9 
title={The Formal Semantics of Programming Languages},publisher=MIT,year=1993}


10 


11 
@inproceedings{Nipkow,author={Tobias Nipkow},


12 
title={Winskel is (almost) Right: Towards a Mechanized Semantics Textbook},


13 
booktitle=


14 
{Foundations of Software Technology and Theoretical Computer Science},


15 
editor={V. Chandru and V. Vinay},


16 
publisher=Springer,series=LNCS,volume=1180,year=1996,pages={180192}}
