Year	Number	Title
1983		Computer Communications Protocols; Optimization and Conversion,Vol.I.
		Computer Communications Protocols; Optimization and Conversion,Vol.II.
1984		A Study of Ada PDLs and Ada Documentation
		Computer Communications Protocols; Optimization and Conversion,Vol.III
1985		Ada Risk Assessment
	85SDS021	A Methodology for Modern Software Engineering
1986		Window Manager Interface Specifications
1987		An Overview of the NOSC Tool Set
1988		Concept Engineering; The Brave New Way ?
1989	89CRD059	Temporal Analysis of Concurrent Ada Designs; (editor)
	89CRD060	Denotational Semantics-Directed Compiler Generation for Data Flow Machines (editor)
	89CRD117	Engineering Large Systems in Hypermedia (Vol. I)
	89CRD118	Engineering Large Systems in Hypermedia (Vol. II)
	89CRD160	Prototyping Concurrent Systems with Multilog (editor)
	89CRD161	Critical Races in Ada (editor)
	89CRD197	Scribe Support in GNU Emacs
1990	90CRD068	Semantics-Based Program Integration (editor)
	90CRD147	Automating Systems Engineering (editor)
1991	91CRD269	A Scenario for Automated Requirements Extraction
1992		A Process for Automatic Extraction of Candidate Requirements from Textual Specifications;   Apr 1992
		A Process for Automatic Extraction of Candidate Issues from Textual Specifications;   Apr 1992
	92CRD267	A Users' Guide for Automated Requirements Management
1993		An Improved Method for Text Search using Trigger Token Morphemes;   Apr 1993
	93-AAAI-	SIR|REX: AI Assistance for Requirements Management