et al. The Coq Proof Assistant Reference Manual (Version 6.3.1). INRIA-Rocquencourt (2000)

by B Barras