(2002). Logic based program synthesis and transformation: 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28 - 30, 2001 ; selected papers. Springer.
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.
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.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.