Ali Mili Jules Desharnais Formal Models of Stepwise Refinement of Programs. 231-276 1986 18 ACM Comput. Surv. 3 db/journals/csur/csur18.html#MiliD86 http://doi.acm.org/10.1145/27632.28054