1. , , and (1992) ‘Estimating software fault content before coding’, Proceedings of the 14th International Conference on Software Engineering (ICSE-14), May 1992, Melbourne, Australia, IEEE Computer Society Press, Los Alamitos, California, U.S.A., pp. 59–65.
2. Design and code inspections to reduce errors in program development
3. and (1993) Software Inspections, Addison-Wesley, Reading, Massachusetts, U.S.A., 471 pages.
4. Assessing software designs using capture-recapture methods
5. Certification of software components