| |
| 1981 | ||
|---|---|---|
| 4 | Richard J. Orgass: Files in an Interactive Environment. Softw., Pract. Exper. 11(12): 1265-1271 (1981) | |
| 1972 | ||
| 3 | Charles D. Parsons, Richard J. Orgass, Richmond H. Thomason: Meeting of the Association for Symbolic Logic. J. Symb. Log. 37(2): 430-447 (1972) | |
| 1970 | ||
| 2 | Richard J. Orgass: Some Results Concerning Proofs of Statements about Programs. J. Comput. Syst. Sci. 4(1): 74-88 (1970) | |
| 1969 | ||
| 1 | EE | Richard J. Orgass, William M. Waite: A base for a mobile programming system. Commun. ACM 12(9): 507-510 (1969) |
| 1 | Charles D. Parsons | [3] |
| 2 | Richmond H. Thomason | [3] |
| 3 | William M. Waite | [1] |