1. On the correctness of refinement in program development;Back,1978
2. Correctness preserving program refinements: proof theory and applications;Back;Math. Center Tracts,1980
3. On correct refinement of programs;Back;J. Comput. System Sci.,1981
4. A calculus of refinements for program derivations;Back;Acta Inform.,1988
5. Changing data representation in the refinement calculus;Back;Proc. 21st Hawaii Internat. Conf. on System Sciences,1989