@book{LNCS2283,author={Tobias Nipkow and Lawrence Paulson and Markus Wenzel},
title="Isabelle/HOL --- A Proof Assistant for Higher-Order Logic",
publisher=Springer,series=LNCS,volume=2283,year=2002,
note={\url{http://www.in.tum.de/~nipkow/LNCS2283/}}}
@Book{highintegritysoftware,
  author =       {John Barnes},
  title =        {High Integrity Software},
  publisher =    {Addison-Wesley},
  year =         {2006},
}
@InProceedings{ripemd,
  author =       {H. Dobbertin, A. Bosselaers, B. Preneel},
  title =        {RIPEMD-160, a strengthened version of RIPEMD},
  booktitle = {Fast Software Encryption},
  pages =     {71-82},
  year =      {1996},
  editor =    {D. Gollmann},
  number =    {1039},
  series =    {LNCS},
  publisher = {Springer-Verlag},
  note =      {updated and corrected version: http://www.esat.kuleuven.ac.be/\textasciitilde cosicart/pdf/AB-9601/AB-9601.pdf},
}
@InProceedings{vct,
  author =       {Paul B. Jackson, Bill J. Ellis and Kathleen Sharp},
  title =        {Using SMT Solvers to Verify High-Integrity Programs},
  booktitle = {2nd International Workshop on Automated Formal Methods},
  series = {AFM},
  month = {November},
  year = {2007},
  publisher = {ACM},
  note =      {http://homepages.inf.ed.ac.uk/pbj/papers/afm07.pdf},
}
