1 

     2 @manual{isa-imp,

     3   author	= {Makarius Wenzel},

     4   title		= {The {Isabelle/Isar} Implementation},

     5   institution	= {Technische Universit\"at M\"unchen},

     6   note          = {\url{http://isabelle.in.tum.de/doc/implementation.pdf}}}

     7 

     8 

     9 @Book{isa-tutorial,

    10   author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},

    11   title		= {Isabelle/HOL: A Proof Assistant for Higher-Order Logic},

    12   publisher	= {Springer},

    13   year		= 2002,

    14   note		= {LNCS Tutorial 2283}}

    15 

    16 @book{paulson-ml2,

    17   author	= {Lawrence C. Paulson},

    18   title		= {{ML} for the Working Programmer},

    19   year		= 1996,

    20   edition	= {2nd},

    21   publisher	= {Cambridge University Press}}