PARTIAL: a tool to support the metrics driven design of Ada programs. - Robert G. Reynolds; Drew Roberts (ACM Conference on Computer Science, 1986)