APA-Zitierstil (7. Ausg.)

(2011). Logic-based program synthesis and transformation: 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; revised selected papers. Springer.

Chicago-Zitierstil (17. Ausg.)

Logic-based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2011.

MLA-Zitierstil (9. Ausg.)

Logic-based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010 ; Revised Selected Papers. Springer, 2011.