@article{Par97,
title = {Verifying programs in the {Calculus} of {Inductive} {Constructions} },
author = {Parent-Vigouroux, Catherine},
year = {1997},
journal = {Formal Aspects of Computing},
pages = {484--517},
volume = {9},
team = {SYNC},
}
