Martin J. Shepperd, Darrel C. Ince: Algebraic Validation of software Metrics. ESEC 1991: 343-363