Trích dẫn kiểu APA (xuất bản lần thứ 7)

Nilsson, U. (1992). Abstract interpretations & abstract machines: Contributions to a methodology for the implementation of logic programs. Linköping University.

Trích dẫn kiểu Chicago (xuất bản lần thứ 7)

Nilsson, Ulf. Abstract Interpretations & Abstract Machines: Contributions to a Methodology for the Implementation of Logic Programs. Linköping University, 1992.

Trích dẫn kiểu MLA (xuất bản lần thứ 8)

Nilsson, Ulf. Abstract Interpretations & Abstract Machines: Contributions to a Methodology for the Implementation of Logic Programs. Linköping University, 1992.

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.