In the practical world of computing, it is rather uncommon that a program, once it performs correctly and satisfactorily, remains unchanged forever.
"Program Development by Stepwise Refinement". Communications of the ACM, 14 (4), April 1971.
