Simpson, A., Woodcock, J., & Davies, J. (1997). The Mechanical Verification of Solid State Interlocking Geographic Data. Springer.
Dyfyniad Arddull ChicagoSimpson, A., J. Woodcock, and J. Davies. The Mechanical Verification of Solid State Interlocking Geographic Data. Springer, 1997.
Dyfyniad MLASimpson, A., et al. The Mechanical Verification of Solid State Interlocking Geographic Data. Springer, 1997.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.