,
Springer
Lecture Notes in Computer Science
ESPRIT/LPC Advanced School on Current Trends in Concurrency

de Bakker, J., Kok, J., Meyer, J.-J., Olderog, E.-R., & Zucker, J. I. (1986). Contrasting themes in the semantics of imperative concurrency. In Current trends in concurrency : overviews and tutorials (pp. 51–121). Springer.