Martin J. Shepperd, Darrel C. Ince. Algebraic Validation of software Metrics. In Axel van Lamsweerde, Alfonso Fugetta, editors, ESEC 91, 3rd European Software Engineering Conference, Milan, Italy, October 21-24, 1991, Proceedings. Volume 550 of Lecture Notes in Computer Science, pages 343-363, Springer, 1991.
Abstract is missing.