,
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. Current Trends in Concurrency : Overviews and Tutorials, 51–121.