Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods, Edalat, A., Jourdan, S., & McCusker, G. (1996). Advances in theory and formal methods of computing: Proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996.

Imperial College of Science, Technology and Medicine. Department of Computing, Imperial College Department of Computing Workshop on Theory and Formal Methods, Abbas Edalat, Sofia Jourdan, and Guy McCusker. Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996. London : Imperial Collge Press, 1996.

Imperial College of Science, Technology and Medicine. Department of Computing, et al. Advances in Theory and Formal Methods of Computing: Proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996. 1996.