et al. The Coq proof assistant reference manual. Part of the Coq system version 6.3.1 (2000)

by G Huet, C Paulin-Mohring