David A. Carrington K. A. Robinson Computer Assistance for Program Refinement. 312-321 1990 conf/cav/1990 CAV db/conf/cav/cav1990.html#CarringtonR90 http://dx.doi.org/10.1007/BFb0023745