,
Information and Control

de Bakker, J., & Zucker, J. I. (1982). Processes and the denotational semantics of concurrency. Information and Control, 54(1-2), 70–120.