1. Lecture Notes in Computer Science;I.J. Hayes,2003
2. Jones, C.B.: Development Methods for Computer Programs including a Notion of Interference. Ph.D. thesis, Oxford University, Printed as: Programming Research Group, Technical Monograph 25 (1981)
3. Jones, C.B.: Specification and design of (parallel) programs. In: Proceedings of IFIP 1983, pp. 321–332. North-Holland, Amsterdam (1983)
4. Jones, C.B.: Accommodating interference in the formal design of concurrent object-based programs. Formal Methods in System Design 8, 105–122 (1996)
5. Mahony, B., Hayes, I.J.: Using continuous real functions to model timed histories. In: Bailes, P. (ed.) Engineering Safe Software, Australian Computer Society, pp. 257–270 (1991)