,
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.