A Critique of Validation/Verification Techniques for Software Development Measures. - David A. Gustafson; Ramón A. Mata-Toledo; Richard E. Courtney; Naim Temsamani (Formal Aspects of Measurement, 1991)