Title: Quantitative measures for software independent verification and validation
First published: 1996