Simpson, A., Woodcock, J., & Davies, J. (1997). The Mechanical Verification of Solid State Interlocking Geographic Data. Springer.
Lua i Stíl Chicago (17ú heag.)Simpson, A., J. Woodcock, agus J. Davies. The Mechanical Verification of Solid State Interlocking Geographic Data. Springer, 1997.
Lua MLA (9ú heag.)Simpson, A., et al. The Mechanical Verification of Solid State Interlocking Geographic Data. Springer, 1997.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.