Automating Inversion of Inductive Predicates in Coq. - Cristina Cornes; Delphine Terrasse (TYPES, 1995)

Specification of a Smart Card Operating System. - Gustavo Betarte; Cristina Cornes; Nora Szasz; Alvaro Tasistro (TYPES, 1999)