Specifications, Algorithms, Axiomatisations and Proofs Commented Case Studies (1995)

by Gerard Huet
Venue:In the Coq Proof Assistant”, Summer School on Logic of Computation