APA-Zitierstil (7. Ausg.)

(2008). Logic-based program synthesis and transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 ; revised selected papers. Springer. https://doi.org/10.1007/978-3-540-78769-3

Chicago-Zitierstil (17. Ausg.)

Logic-based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2008. https://doi.org/10.1007/978-3-540-78769-3.

MLA-Zitierstil (9. Ausg.)

Logic-based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007 ; Revised Selected Papers. Springer, 2008. https://doi.org/10.1007/978-3-540-78769-3.