Winskel, Glynn and
Nielsen, Mogens. 1995.
“Models for Concurrency.” in
Handbook of Logic in Computer Science. Volume 1. Background: Mathematical Structures, edited by Samson
Abramsky, Dov M.
Gabbay, and Thomas S. E.
Maibaum, pp. 1–148. Oxford: Oxford University Press.