A. W. Roscoe

Reflections on the work of C.A.R. Hoare

Topology and category theory in computer science

The theory and practice of concurrency

The laws of Occam programming

Classical Mind, A

The pursuit of deadlock freedom

Understanding Concurrent Systems