| |
| 1986 | ||
|---|---|---|
| 3 | John S. Gourlay: A Language for Music Printing. Commun. ACM 29(5): 388-401 (1986) | |
| 1983 | ||
| 2 | John S. Gourlay: A Mathematical Framework for the Investigation of Testing. IEEE Trans. Software Eng. 9(6): 686-709 (1983) | |
| 1979 | ||
| 1 | John S. Gourlay, William C. Rounds, Richard Statman: On Properties Preserved by Contraction of Concurrent Systems. Semantics of Concurrent Computation 1979: 51-65 | |
| 1 | William C. Rounds | [1] |
| 2 | Richard Statman | [1] |