1. C. J. Fidge, I. J. Hayes, and G. Watson. The deadline command. IEE Proceedings Software, 146(2):104–111, April 1999.
2. S. Grundon, I. J. Hayes, and C. J. Fidge. Timing constraint analysis. In C. Mc-Donald, editor, Computer Science’ 98: Proc. 21st Australasian Computer Science Conf. (ACSC’98), Perth, 4-6 Feb., pages 575–586. Springer-Verlag, 1998.
3. I. J. Hayes. Reasoning about non-terminating loops using deadline commands. In Roland Backhouse and Jose Oliveira, editors, Mathematics of Program Construction (MPC’2000), July 2000.
4. I. J. Hayes, C. J. Fidge, and K. Lermer. Semantic identification of dead control-flow paths. Technical Report 99-32, Software Verification Research Centre, The University of Queensland, October 1999.
5. I. J. Hayes and B. P. Mahony. Using units of measurement in formal specifications. Formal Aspects of Computing, 7(3):329–347, 1995.