@Unpublished{Abrial-Laffitte,
author = {Abrial and Laffitte},
title = {Towards the Mechanization of the Proofs of
Some Classical Theorems of Set Theory},
note = {Unpublished}
}
@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}
}
@Book{Oberschelp:1993,
author = {Arnold Oberschelp},
title = {Rekursionstheorie},
publisher = {BI-Wissenschafts-Verlag},
year = 1993
}
@InProceedings{Podelski-Rybalchenko,
author = {Andreas Podelski and Andrey Rybalchenko},
title = {Transition Invariants},
booktitle = {19th Annual IEEE Symposium on Logic in Computer Science (LICS'04)},
pages = {32--41},
year = 2004
}
@Book{davenport92,
author = {H. Davenport},
title = {The Higher Arithmetic},
publisher = {Cambridge University Press},
year = 1992
}
@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}}