et al. The coq proof assistant version 5.6, users guide (1991)

by G Dowek