Simpson, A., Woodcock, J., & Davies, J. (1997). The Mechanical Verification of Solid State Interlocking Geographic Data. Springer.
芝加哥风格引文Simpson, A., J. Woodcock, 与 J. Davies. The Mechanical Verification of Solid State Interlocking Geographic Data. Springer, 1997.
MLA引文Simpson, A., et al. The Mechanical Verification of Solid State Interlocking Geographic Data. Springer, 1997.
警告:这些引文格式不一定是100%准确.