Nilsson, U. (1992). Abstract interpretations & abstract machines: Contributions to a methodology for the implementation of logic programs. Linköping University.
Lua i Stíl Chicago (17ú heag.)Nilsson, Ulf. Abstract Interpretations & Abstract Machines: Contributions to a Methodology for the Implementation of Logic Programs. Linköping University, 1992.
Lua MLA (8ú heag.)Nilsson, Ulf. Abstract Interpretations & Abstract Machines: Contributions to a Methodology for the Implementation of Logic Programs. Linköping University, 1992.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.