Automated Software Quality Assurance. - Harry M. Sneed; András Mérey (IEEE Trans. Software Eng., 1985)