(2002). Logic based program synthesis and transformation: 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers. Springer. https://doi.org/10.1007/3-540-45607-4
Chicago-Zitierstil (17. Ausg.)Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; Selected Papers. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2002. https://doi.org/10.1007/3-540-45607-4.
MLA-Zitierstil (9. Ausg.)Logic Based Program Synthesis and Transformation: 11th International Workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; Selected Papers. Springer, 2002. https://doi.org/10.1007/3-540-45607-4.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.