1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/doc-src/isac/chuber/references.bib	Thu Jul 21 16:47:34 2011 +0200
     1.3 @@ -0,0 +1,28 @@
     1.4 +@Article{aichernig:ingenieur,
     1.5 +  author = 	 {Bernhard K. Aichernig and Peter Lucas},
     1.6 +  title = 	 {Softwareentwicklung --- eine {I}ngenieursdisziplin!(?)},
     1.7 +  journal = 	 {Telematik, Zeitschrift des Telematik-Ingenieur-Verbandes (TIV)},
     1.8 +  year = 	 {1998},
     1.9 +  volume = 	 {4},
    1.10 +  number = 	 {2},
    1.11 +  pages = 	 {2-8},
    1.12 +  note = 	 {http://www.ist.tu-graz.ac.at/publications},
    1.13 +  annote = 	 {}
    1.14 +}
    1.15 +
    1.16 +@Book{Nipkow-Paulson-Wenzel:2002,
    1.17 +  author	= {Tobias Nipkow and Lawrence C. Paulson and Markus Wenzel},
    1.18 +  title		= {{Isabelle/HOL} --- A Proof Assistant for Higher-Order Logic},
    1.19 +  publisher	= {Springer},
    1.20 +  series	= {LNCS},
    1.21 +  volume	= 2283,
    1.22 +  year		= 2002
    1.23 +}
    1.24 +@PhdThesis{krauss:funs,
    1.25 +  author = 	 {Alexander Krauss},
    1.26 +  title = 	 {Automating Recursive Definitions and Termination Proofs in Higher-Order Logic},
    1.27 +  school = 	 {Technische Universit\"at M\"unchen},
    1.28 +  year = 	 {2009},
    1.29 +  OPTnote = 	 {http://www4.in.tum.de/~krauss/diss/}
    1.30 +}
    1.31 +