@Article{aichernig:ingenieur,

   author = 	 {Bernhard K. Aichernig and Peter Lucas},

   title = 	 {Softwareentwicklung --- eine {I}ngenieursdisziplin!(?)},

   journal = 	 {Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV)},

   year = 	 {1998},

   volume = 	 {4},

   number = 	 {2},

   pages = 	 {2-8},

   note = 	 {http://www.ist.tu-graz.ac.at/publications},

   annote = 	 {}

 }

 @Book{Nipkow-Paulson-Wenzel:2002,

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

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

   publisher	= {Springer},

   series	= {LNCS},

   volume	= 2283,

   year		= 2002

 }

 @PhdThesis{krauss:funs,

   author = 	 {Alexander Krauss},

   title = 	 {Automating Recursive Definitions and Termination Proofs in Higher-Order Logic},

   school = 	 {Technische Universit\"at M\"unchen},

   year = 	 {2009},

   OPTnote = 	 {http://www4.in.tum.de/~krauss/diss/}

 }