Nilsson, U. (1992). Abstract interpretations & abstract machines: Contributions to a methodology for the implementation of logic programs. Linköping University.
Παραπομπή σε μορφή Chicago (17η εκδ.)Nilsson, Ulf. Abstract Interpretations & Abstract Machines: Contributions to a Methodology for the Implementation of Logic Programs. Linköping University, 1992.
Παραπομπή σε μορφή MLA (8th εκδ.)Nilsson, Ulf. Abstract Interpretations & Abstract Machines: Contributions to a Methodology for the Implementation of Logic Programs. Linköping University, 1992.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.