@inproceedings{Nipkow-ITP12,
author={Tobias Nipkow},
title={Abstract Interpretation of Annotated Commands},
booktitle={Interactive Theorem Proving (ITP 2012)},
editor={Beringer and Felty},
publisher={Springer},series={LNCS},volume={7406},pages={116-132},year=2012}

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