
 @InProceedings{Avigad-Donnelly,
  author = 	 {Jeremy Avigad and Kevin Donnelly},
  title = 	 {Formalizing {O} notation in {Isabelle/HOL}},
  booktitle = 	 {Automated Reasoning: second international conference, IJCAR 2004},
  pages =	 {357--371},
  year =	 2004,
  editor =	 {David Basin and Micha\"el Rusiowitch},
  publisher =	 {Springer}
}

@Unpublished{Abrial-Laffitte,
  author = 	 {Abrial and Laffitte},
  title = 	 {Towards the Mechanization of the Proofs of
                  Some Classical Theorems of Set Theory},
  note = 	 {Unpublished}
}

@Book{Oberschelp:1993,
  author =	 {Arnold Oberschelp},
  title = 	 {Rekursionstheorie},
  publisher = 	 {BI-Wissenschafts-Verlag},
  year = 	 1993
}

@InProceedings{paulin-tlca,
  author	= {Christine Paulin-Mohring},
  title		= {Inductive Definitions in the System {Coq}: Rules and
		 Properties},
  crossref	= {tlca93},
  pages		= {328-345}}

@Proceedings{tlca93,
  title		= {Typed Lambda Calculi and Applications},
  booktitle	= {Typed Lambda Calculi and Applications},
  editor	= {M. Bezem and J.F. Groote},
  year		= 1993,
  publisher	= {Springer},
  series	= {LNCS 664}}
