Processes and the denotational semantics of concurrency, Information and Control (1984)

by J W de Bakker, J I Zucker