Program Development through Proof Transformation. Ergo Report 87-047 (1987)

by Frank Pfenning
Venue:Carnegie Mellon University