1 @Article{aichernig:ingenieur,
2 author = {Bernhard K. Aichernig and Peter Lucas},
3 title = {Softwareentwicklung --- eine {I}ngenieursdisziplin!(?)},
4 journal = {Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV)},
9 note = {http://www.ist.tu-graz.ac.at/publications},
13 @Book{Nipkow-Paulson-Wenzel:2002,
14 author = {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
15 title = {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
16 publisher = {Springer},
21 @PhdThesis{krauss:funs,
22 author = {Alexander Krauss},
23 title = {Automating Recursive Definitions and Termination Proofs in Higher-Order Logic},
24 school = {Technische Universit\"at M\"unchen},
26 OPTnote = {http://www4.in.tum.de/~krauss/diss/}