(2000). Logic based program synthesis and transformation: 9th international workshop, LOPSTR '99, Venice, Italy, September 22 - 24, 1999 ; selected papers. Springer.
Chicago-Zitierstil (17. Ausg.)Logic Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR '99, Venice, Italy, September 22 - 24, 1999 ; Selected Papers. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2000.
MLA-Zitierstil (9. Ausg.)Logic Based Program Synthesis and Transformation: 9th International Workshop, LOPSTR '99, Venice, Italy, September 22 - 24, 1999 ; Selected Papers. Springer, 2000.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.