12430
|
1 |
@string{LNCS="Lect.\ Notes in Comp.\ Sci."}
|
|
2 |
@string{MIT="MIT Press"}
|
|
3 |
@string{Springer="Springer-Verlag"}
|
|
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={180--192}}
|
54930
|
17 |
|
|
18 |
@book{ConcreteSemantics,author={Tobias Nipkow and Gerwin Klein},
|
|
19 |
title={Concrete Semantics. A Proof Assistant Approach},publisher=Springer,
|
|
20 |
note={To appear}}
|