An Object-Oriented Approach to Software Process Modeling and Definition. - John D. Riley (TRI-Ada, 1994)

A Comparison of Two Approaches to Distributed Application Development in Ada: the Ada Distributed Systems Annex and CORBA. - John D. Riley (TRI-Ada, 1996)

An Instance of the Application Download Pattern: The SPAIDS Software Loader/Verifier Domain Analysis and Implementation. - John D. Riley; Sangiv Dungari; William Pritchett (TRI-Ada, 1997)

An ASIS-Based Static Analysis Tool for High-Integrity Systems. - William W. Pritchett IV; John D. Riley (SIGAda, 1998)