During the process of stepwise refinement, a notation which is natural to the problem in hand should be used as long as possible.
"Program Development by Stepwise Refinement". Communications of the ACM 14 (4), April 1971.
