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

SpringerLink (Online service) & Schreye, D. (2010). Logic-based program synthesis and transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers. Springer.

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

SpringerLink (Online service) và Danny Schreye. Logic-based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Berlin, Heidelberg: Springer, 2010.

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

SpringerLink (Online service) và Danny Schreye. Logic-based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Springer, 2010.

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%.