Program development through proof transformation (1988)

by Frank Pfenning
Venue:Carnegie Mellon University, Pit tsburgh