The Coq Proof Assistant Reference Manual — Version 8.3. Available at http://coq.inria.fr/refman (2010)

by INRIA