Formal Models of Stepwise Refinement of Programs. - Ali Mili 001; Jules Desharnais; Jean-Raynomd Gagné (ACM Comput. Surv., 1986)