Books

Effective Theories in Programming Practice  ACM Books, Jan. 2023.

Structured Concurrent Programming  Dec. 2014
Draft of a book on structuring concurrent programs using the Orc programming language.

A Discipline of Multiprogramming, Springer-Verlag, 2001. Some of the chapters are here.

Parallel Program Design: A Foundation, K. Mani Chandy and Jayadev Misra,
Addison-Wesley, 1988.

Edited Books

(Co-edited with W. H. J. Feijen, A. J. M. van Gasteren and D. Gries) Beauty is our Business, Springer-Verlag, 1990.

(Co-edited with Tobias Nipkow and Emil Sekerinski) FM 2006: Formal Methods, LNCS 4085, Springer-Verlag, 2006.

(Co-edited with Cliff B. Jones) Theories of Programming, The Life and Works of Tony Hoare, Asociation for Computing Machinery, 2021.