Simpson, A., Woodcock, J., & Davies, J. (1997). The Mechanical Verification of Solid State Interlocking Geographic Data. Springer.
Chicago-čujuhus (17. p.)Simpson, A., J. Woodcock, juo J. Davies. The Mechanical Verification of Solid State Interlocking Geographic Data. Springer, 1997.
MLA-čujuhus (9. p.)Simpson, A., et al. The Mechanical Verification of Solid State Interlocking Geographic Data. Springer, 1997.
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.