Ralph-Johan Back On Correct Refinement of Programs. 49-68 1981 23 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss23.html#Back81