APA-Zitierstil (7. Ausg.)

(2014). Logic based program synthesis and transformation: 23nd international symposium, LOPSTR 2013, Madrid, Spain, September 18 - 19, 2013 ; revised selected papers. Springer. https://doi.org/10.1007/978-3-319-14125-1

Chicago-Zitierstil (17. Ausg.)

Logic Based Program Synthesis and Transformation: 23nd International Symposium, LOPSTR 2013, Madrid, Spain, September 18 - 19, 2013 ; Revised Selected Papers. Cham [u.a.]: Springer, 2014. https://doi.org/10.1007/978-3-319-14125-1.

MLA-Zitierstil (9. Ausg.)

Logic Based Program Synthesis and Transformation: 23nd International Symposium, LOPSTR 2013, Madrid, Spain, September 18 - 19, 2013 ; Revised Selected Papers. Springer, 2014. https://doi.org/10.1007/978-3-319-14125-1.