Quality assuring specification and design. - A. A. Kaposi; M. Myers (Softw. Eng. J., 1990)

Modelling and measurement of Prolog data. - M. Myers; A. A. Kaposi (Softw. Eng. J., 1991)