Formal Models of Stepwise Refinement of Programs (1986)

by A Mili, J Desharnais, J R Gagne
Venue:ACM Computing Surveys