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