APA-Zitierstil (7. Ausg.)

(2001). Logic based program synthesis and transformation: 10th international workshop, LOPSTR 2000, London, UK, July 24 - 28, 2000 ; selected papers. Springer. https://doi.org/10.1007/3-540-45142-0

Chicago-Zitierstil (17. Ausg.)

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000, London, UK, July 24 - 28, 2000 ; Selected Papers. Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong ; London: Springer, 2001. https://doi.org/10.1007/3-540-45142-0.

MLA-Zitierstil (9. Ausg.)

Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000, London, UK, July 24 - 28, 2000 ; Selected Papers. Springer, 2001. https://doi.org/10.1007/3-540-45142-0.