The Coq Proof Assistant: A Tutorial: Version 6.1, INRIA, 1997. ,
URL : https://hal.archives-ouvertes.fr/inria-00069967
A Method for the Construction of MinimumRedundancy Codes, Proceedings of IRE, pp.1098-1101, 1952. ,
Objective Caml ,
Changing Data Representation within the Coq System, TPHOLs'03, vol.2758, 2003. ,
DOI : 10.1007/10930755_6
The Art of Prolog: advanced programming techniques, 1986. ,
The JPEG Still Picture Compression Standard, Communications of the ACM, vol.34, issue.4, pp.30-44, 1991. ,
DOI : 10.1145/103085.103089