"Formal Models of Stepwise Refinement of Programs".

"Formal Models of Stepwise Refinement of Programs". 195 1987 19 ACM Comput. Surv. 2 db/journals/csur/csur19.html#Corrigendum87