et al. The Coq proof assistant user's guide (1993)

by Gilles Dowek