Cita APA (7a ed.)
Danny Schreye. Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Springer.
Cita estilo Chicago (17a ed.)
Danny Schreye. Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Danny Schreye. Logic-Based Program Synthesis and Transformation: 19th International Symposium, LOPSTR 2009, Coimbra, Portugal, September 2009, Revised Selected Papers. Springer.
警告:這些引文格式不一定是100%准確.