A Hybrid Structured Object and Constraint Representation Language. - David R. Harris 002 (AAAI, 1986)

KBRA: A New Paradigm for Requirements Engineering. - Andrew J. Czuchry Jr.; David R. Harris 002 (IEEE Expert, 1988)

The KBSA Requirements/Specifications Facet: ARIES. - W. Lewis Johnson; Martin S. Feather; David R. Harris 002 (KBSE, 1991)

Sharing and Reuse of Requirements Knowledge. - W. Lewis Johnson; David R. Harris 002 (KBSE, 1991)

Integrating domain knowledge, requirements, and specifications. - W. Lewis Johnson; Martin S. Feather; David R. Harris 002 (J. Syst. Integr., 1991)

Representation and Presentation of Requirements Knowledge. - W. Lewis Johnson; Martin S. Feather; David R. Harris 002 (IEEE Trans. Software Eng., 1992)

Developing Formal Specifications from Informal Requirements. - W. Lewis Johnson; Kevin Benner; David R. Harris 002 (IEEE Expert, 1993)