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