Program refinement by theorem prover (1994)

by Joakim von Wright
Venue:In Proc. 6th BCSFACS Refinement Workshop