@inproceedings{Simpson*1997:Mechanical,
  author = "A. Simpson and J. Woodcock and J. Davies",
  booktitle = "Proceedings of Formal Methods Pacific",
  publisher = "Springer",
  title = "The Mechanical Verification of Solid State Interlocking Geographic Data",
  year = "1997",
}