Refinement diagrams (1991)

by R J R Back
Venue:Fourth Refinement Workshop, Workshops in Computing, pages 125-- 137. BCS FACS