- NHS EXECUTIVE, 1998, Reducing Junior Doctors'Hours, Health Service Circular HSC 1998/240.
- NEW DEAL 2000 Software, (London Region and South East Regional Action Teams, 40 Eastbourne Terrace, Paddington, London W2 3QR, UK).
- SCIPIONE, P., SCIPIONE, D. and BETLACH, T., Optimizing staff scheduling by Monte-Carlo simulation, (http://www.docs2000.net).
- IQUS LIMITED, Rota Master, (http://www.iq.uk.com/RotaMaster.htm).
- WEIL, G., HEUS, K. and CHAN, P., GYMNASTE: a nurse planning package in CHIP, (http:// www.cosytec.com/english/homepag2.htm).
- SPIVEY, J.M., 1992, The Z Notation: A Reference Manual, 2nd edn (London; Prentice-Hall).
- WOODCOCK, J.C.P. and DAVIES, J., 1996, Using Z: Specification, Refinement, and Proof, (London: Prentice-Hall).
Medical Informatics and the Internet in Medicine
Volume 28, 2003 - Issue 2