Gareth Carter, Rosemary Monahan, Joseph M. Morris. Software Refinement with Perfect Developer. In Bernhard K. Aichernig, Bernhard Beckert, editors, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. pages 363-373, IEEE Computer Society, 2005. [doi]
Abstract is missing.