(2006). Logic based program synthesis and transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 2005 ; revised sel. papers. Springer. https://doi.org/10.1007/11680093
Chicago-Zitierstil (17. Ausg.)Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 2005 ; Revised Sel. Papers. Berlin [u.a.]: Springer, 2006. https://doi.org/10.1007/11680093.
MLA-Zitierstil (9. Ausg.)Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 2005 ; Revised Sel. Papers. Springer, 2006. https://doi.org/10.1007/11680093.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.