Abts D. Toward complexity-effective verification : сборник научных трудов / D. Abts, D. J. Lilja, S. Scott, 2000. - 13 p. - Текст : непосредственный.
Abts D. language-theoretic approach to specifying and verifyng multiprocessor cache coherence protocols / D.Abts,D.J.Lilja,S.Scott, 2000. - 12 p. - Текст : непосредственный.
Dimensions of verifying the hardware-software interface in a shared-memory multiprocessor / D.Abts,D.Lilja,A.Bataineh,S.Scott, 1999. - 11 p. - Текст : непосредственный.