Robert G. Reynolds Jonathan I. Maletic An Introduction to Refinement Metrics: Assessing a Programming Language's Support of the Stepwise Refinement Process. 82-88 1990 ACM Conference on Computer Science http://doi.acm.org/10.1145/100348.100361 db/conf/acm/csc90.html#ReynoldsM90