(2004). Logic based program synthesis and transformation: 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25 - 27, 2003 ; revised selected papers. Springer.
Chicago-Zitierstil (17. Ausg.)Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25 - 27, 2003 ; Revised Selected Papers. Berlin [u.a.]: Springer, 2004.
MLA-Zitierstil (9. Ausg.)Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25 - 27, 2003 ; Revised Selected Papers. Springer, 2004.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.