Books
- Essays in Computing Science. 1962, with Cliff B. Jones
- Scientific Applications of Multiprocessors. 1988, with R. J. Elliott
- VDM '90: VDM and Z - Formal Methods in Software Development. 1990, with Dines Bjorner, H. Langmaack
- Developments in Concurrency and Communication. 1990
- Unifying Theories of Programming. 1998, with He Jifeng
Short works