Simpson, A., Woodcock, J., & Davies, J. (1997). The Mechanical Verification of Solid State Interlocking Geographic Data. Springer.
Παραπομπή σε μορφή Chicago (17η εκδ.)Simpson, A., J. Woodcock, και J. Davies. The Mechanical Verification of Solid State Interlocking Geographic Data. Springer, 1997.
Παραπομπή σε μορφή MLA (9th εκδ.)Simpson, A., et al. The Mechanical Verification of Solid State Interlocking Geographic Data. Springer, 1997.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.