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