Simpson, A., Woodcock, J., & Davies, J. (1997). The Mechanical Verification of Solid State Interlocking Geographic Data. Springer.
Chicago-referens (17:e uppl.)Simpson, A., J. Woodcock, och J. Davies. The Mechanical Verification of Solid State Interlocking Geographic Data. Springer, 1997.
MLA-referens (9:e uppl.)Simpson, A., et al. The Mechanical Verification of Solid State Interlocking Geographic Data. Springer, 1997.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.