Coq User's Guide INRIA Rapport Technique No 154, Mai 1993
(1993)
Languages mentioned
coq
{1991}