A base for a mobile programming system. - Richard J. Orgass; William M. Waite (Commun. ACM, 1969)

Some Results Concerning Proofs of Statements about Programs. - Richard J. Orgass (J. Comput. Syst. Sci., 1970)

Meeting of the Association for Symbolic Logic. - Charles D. Parsons; Richard J. Orgass; Richmond H. Thomason (J. Symb. Log., 1972)

A proposal for a handbook for APL program verification. - Susan L. Gerhart; Richard J. Orgass (ACM SIGAPL APL Quote Quad, 1974)

Toward a primitive recursive semantics for APL. - Richard J. Orgass (APL, 1976)

A note concerning intermittent assertions. - Dianne E. Britton; Ralph B. McLaughlin; Richard J. Orgass (SIGACT News, 1977)

Files in an Interactive Environment. - Richard J. Orgass (Softw. Pract. Exp., 1981)