↑ Savage, S.; Burrows, M.; Nelson, G.; Sobalvarro, P.; Anderson, T. (1997). "Eraser: マルチスレッドプログラムのための動的データ競合検出器". ACM Transactions on Computer Systems . 15 (4): 391. CiteSeerX 10.1.1.175.3886 . doi : 10.1145/265924.265927 . S2CID 1492924 .
↑ Abadi, MN ; Burrows, M. ; Lampson, B. ; Plotkin, G. (1993). "分散システムにおけるアクセス制御のための計算体系" (PDF) . ACM Transactions on Programming Languages and Systems . 15 (4): 706. CiteSeerX 10.1.1.72.3756 . doi : 10.1145/155183.155225 . hdl : 1842/207 . S2CID 13260508 .
↑ Burrows, M.; Abadi, M.; Needham, RM (1989). "認証の論理". Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences . 426 (1871): 233. Bibcode : 1989RSPSA.426..233B . doi : 10.1098/rspa.1989.0125 . S2CID 61768542 .