Authors: Chavin, P Monin, JF

Citation: P. Chavin et Jf. Monin, An abstract and constructive specification in Coq, FACIT, 2001, pp. 225-240