APA (7e ed.) Bronvermelding

(2010). Logic-based program synthesis and transformation: 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, revised selected papers / Danny De Schreye, ed.

Chicago (17e ed.) Bronvermelding

Logic-based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / Danny De Schreye, Ed. 2010.

MLA (9e ed.) Bronvermelding

Logic-based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers / Danny De Schreye, Ed. 2010.