G.: The COQ Proof Assistant User’s Guide (1993)

by G Dowek, A Felty, H Herbelin, Huet