Cover title.
Modelling British Rail's interlocking logic : geographic data correctness by M. J. Morley. Published by LFCS, Dept. of Computer Science, University of Edinburgh in 1991. Publication and catalogue information, links to buy online and reader comments.