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%.