On Properties Preserved by Contraction of Concurrent Systems. - John S. Gourlay; William C. Rounds; Richard Statman (Semantics of Concurrent Computation, 1979)

Theory of Testing Computer Programs. - John S. Gourlay (1981)

A Mathematical Framework for the Investigation of Testing. - John S. Gourlay (IEEE Trans. Software Eng., 1983)

A Language for Music Printing. - John S. Gourlay (Commun. ACM, 1986)