On the correctness of refinement steps in program development - Back, Ralph-Johan (Report (Helsingin yliopisto. Laskentakeskus) ;, 1978)