Software Refinement with Perfect Developer.

Gareth Carter, Rosemary Monahan, Joseph M. Morris

Browse the full SEFM paper archive.