Vaclav Rajlich. Stepwise refinement revisited. Journal of Systems and Software, 5(1):81-88, 1985. [doi]
@article{Rajlich85,
title = {Stepwise refinement revisited},
author = {Vaclav Rajlich},
year = {1985},
doi = {10.1016/0164-1212(85)90009-3},
url = {http://dx.doi.org/10.1016/0164-1212(85)90009-3},
tags = {refinement},
researchr = {https://researchr.org/publication/Rajlich85},
cites = {0},
citedby = {0},
journal = {Journal of Systems and Software},
volume = {5},
number = {1},
pages = {81-88},
}