Pirog, M., & Gibbons, J. (2011). A Functional Derivation of the Warren Abstract Machine.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Pirog, M., và J. Gibbons. A Functional Derivation of the Warren Abstract Machine. 2011.
Trích dẫn kiểu MLA (xuất bản lần thứ 9)Pirog, M., và J. Gibbons. A Functional Derivation of the Warren Abstract Machine. 2011.
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%.