Robert G. Reynolds, Jonathan I. Maletic. The Use of Refinement Metrics to Assess Programming Language Support for the Stepwise Refinement Process. In SEKE 93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA. pages 150-157, Knowledge Systems Institute, 1993.
Abstract is missing.