Logic design testing. - A. A. Kaposi (1971)

On the testability of digital hardware. - A. A. Kaposi (Comput. Aided Des., 1972)

Synthesis and Structural Analysis of Abstract Programs. - D. F. Cowell; Duncan Fyfe Gillies; A. A. Kaposi (Comput. J., 1980)

A Design Methodology in Prolog Programming. - Zsuzsanna Markusz; A. A. Kaposi (ICLP, 1982)

Structured programming: a tutorial guide. - Robin W. Whitty; Norman E. Fenton; A. A. Kaposi (Softw. Microsystems, 1984)

Complexity Control in Logic-Based Programming. - Zsuzsanna Markusz; A. A. Kaposi (Comput. J., 1985)

A rigorous approach to structural analysis and metrication of software. - Robin W. Whitty; Norman E. Fenton; A. A. Kaposi (Softw. Microsystems, 1985)

A Generalised Mathematical Theory of Structured Programming. - Norman E. Fenton; Robin W. Whitty; A. A. Kaposi (Theor. Comput. Sci., 1985)

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)