Proof and design (1995)

by M P Fourman
Venue:Deductive Program Design