Leadbetter, P. (1991). Prolog: From formal specification to prototype. Blackwell scientific publications.
Trích dẫn kiểu ChicagoLeadbetter, Peter. Prolog: From Formal Specification to Prototype. London: Blackwell scientific publications, 1991.
Trích dẫn MLALeadbetter, Peter. Prolog: From Formal Specification to Prototype. Blackwell scientific publications, 1991.
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%.