Ralph-Johan Back;Joakim von Wright
-;-
A tool for developing correct programs by refinement
FAC-RW'96 Proceedings of the BCS-FACS 7th conference on Refinement