Parkes, A. P. (2002). Introduction to languages, machines and logic: Computable languags, abstract machines and formal logic. Springer.
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Parkes, Alan P. Introduction to Languages, Machines and Logic: Computable Languags, Abstract Machines and Formal Logic. London: Springer, 2002.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Parkes, Alan P. Introduction to Languages, Machines and Logic: Computable Languags, Abstract Machines and Formal Logic. Springer, 2002.
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%.