src/HOL/IMP/document/root.bib
changeset 61225 1a690dce8cfc
parent 54930 f2ec28292479
     1.1 --- a/src/HOL/IMP/document/root.bib	Tue Sep 22 08:38:25 2015 +0200
     1.2 +++ b/src/HOL/IMP/document/root.bib	Tue Sep 22 14:31:22 2015 +0200
     1.3 @@ -15,6 +15,6 @@
     1.4  editor={V. Chandru and V. Vinay},
     1.5  publisher=Springer,series=LNCS,volume=1180,year=1996,pages={180--192}}
     1.6  
     1.7 -@book{ConcreteSemantics,author={Tobias Nipkow and Gerwin Klein},
     1.8 -title={Concrete Semantics. A Proof Assistant Approach},publisher=Springer,
     1.9 -note={To appear}}
    1.10 +@book{NipkowK2014,author={Tobias Nipkow and Gerwin Klein},
    1.11 +title={Concrete Semantics with Isabelle/HOL},publisher="Springer",
    1.12 +year=2014,note={\url{http://concrete-semantics.org}}}