The Coq Proof Assistant User's Guide, INRIA (1991)

by G Dowek, A Felty, H Herbelin, G Huet, C Paulin-Mohring, B Werner