@InCollection{krauss:partial06,

  author = 	 {Alexander Krauss},

  title = 	 {Partial recursive functions in higher-order logic},

  booktitle = 	 {Automated Reasoning (IJCAR 2006)},

  pages = 	 {589-603},

  publisher = {Springer Verlag},

  year = 	 {2006},

  editor = 	 {Ulrich Furbach and Natarajan Shankar},

  volume = 	 {4130},

  series = 	 {Lecture Notes in Artificial Intelligence},

  doi = {http://dx.doi.org/10.1007/11814771_48}

}

@InCollection{krauss:termination07,

  author = 	 {Lukas Bulwahn, Alexander Krauss, and Tobias Nipkow},

  title = 	 {Finding lexicographic orders for termination proofs in Isabelle/HOL},

  booktitle = 	 {Theorem Proving in Higher Order Logics (TPHOLs 2007)},

  pages = 	 {38-53},

  publisher = {Springer Verlag},

  year = 	 {2007},

  editor = 	 {Schneider and J. Brandt},

  volume = 	 {4732},

  series = 	 {Lecture Notes in Computer Science},

  doi = {http://dx.doi.org/10.1007/978-3-540-74591-4_5}

}

@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/}

}