The Coq proof assistant user’s guide. Rapport technique, Programme 2 (1993)

by Gilles Dowek, Amy Felty, Hugo Herbelin, Géard Huet, Chet Murthy, Catherine Parent, Christine Paulin-Mohring, Benjamin Werner