On the correctness of refinement steps in program development - Back, Ralph-Johan (Helsingin Yliopisto. Department of Computer Science: Report. A., 1978)