Petrone, L., Di Leva, A., Sirovich, F.,
"Dual: An interactive tool for developing documented programs by step-wise refinements ",
Proceedings 6th International Conference on Software Engineering, IEEE Computer Society, September 1982, pp. 350-357.
Google
Quotations
351 ;;Quote: the stepwise refinement of a program is the most valuable documentation available
352 ;;Quote: in stepwise refinement distinguish between program expansions (executable) and functional expansions (documentation)