Software Quality Assurance and Measurement

Representations of matroids

Risk assessment and decision analysis with Bayesian networks

Software metrics

1991

Systems Construction and Analysis

1992

A new interpretation of Leibniz's philosophy