1. Solid State Interlocking (SSI): an integrated electronic signalling system for mainline railways;Cribbens;Proc.IEE,1987
2. R.C.Short, Software Validation for a Railway Signalling System, SAFECOMP83 Conference Proceedings, Cambridge (UK), 1983.
3. A.H.Cribbens and I.H.Mitchell, The Application of Advanced Computing Techniques to the Generation and checking of SSI Data, Railway Engineers' Forum Meeting, London (UK), 1991, and to appear in Proc.IRSE, 1992.
4. Algebraic Structure Theory of Sequential Machines;Hartmanis,1966
5. Systematic Software Development Using VDM;Jones,1990