Nilsson, U. (1992). Abstract interpretations & abstract machines: Contributions to a methodology for the implementation of logic programs. Linköping University.
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)Nilsson, Ulf. Abstract Interpretations & Abstract Machines: Contributions to a Methodology for the Implementation of Logic Programs. Linköping University, 1992.
توثيق جمعية اللغة المعاصرة MLA (الطبعة الثامنة)Nilsson, Ulf. Abstract Interpretations & Abstract Machines: Contributions to a Methodology for the Implementation of Logic Programs. Linköping University, 1992.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.