src/HOL/IMP/document/root.bib
author haftmann
Sat, 06 Mar 2021 18:42:10 +0000
changeset 73393 716d256259d5
parent 61225 1a690dce8cfc
permissions -rw-r--r--
consolidated names

@string{LNCS="Lect.\ Notes in Comp.\ Sci."}
@string{MIT="MIT Press"}
@string{Springer="Springer-Verlag"}

@book{Nielson,author={Hanne Riis Nielson and Flemming Nielson},
title={Semantics with Applications},publisher={Wiley},year=1992}

@book{Winskel,author={Glynn Winskel},
title={The Formal Semantics of Programming Languages},publisher=MIT,year=1993}

@inproceedings{Nipkow,author={Tobias Nipkow},
title={Winskel is (almost) Right: Towards a Mechanized Semantics Textbook},
booktitle=
{Foundations of Software Technology and Theoretical Computer Science},
editor={V. Chandru and V. Vinay},
publisher=Springer,series=LNCS,volume=1180,year=1996,pages={180--192}}

@book{NipkowK2014,author={Tobias Nipkow and Gerwin Klein},
title={Concrete Semantics with Isabelle/HOL},publisher="Springer",
year=2014,note={\url{http://concrete-semantics.org}}}