Connections Between Two Theories of Concurrency: Metric Spaces and Synchronization Trees - William G. Golson; William C. Rounds (Inf. Control., 1983)

Denotational Models Based on Synchronously Communicating Processes: Refusal, Acceptance, Safety. - William G. Golson (Seminar on Concurrency, 1984)

Denotational Models Based on Synchronously Communicating Processes (Semantics, Programming Languages). - William G. Golson (1984)

Toward a Declarative Semantics for Infinite Objects in Logic Programming. - William G. Golson (J. Log. Program., 1988)