APA (7th ed.) Citation

International Workshop on Logic-based Program Synthesis and Transformation London, England, SpringerLink (Online service), & Lau, K. (2001). Logic based program synthesis and transformation: 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers. Springer.

Chicago Style (17th ed.) Citation

International Workshop on Logic-based Program Synthesis and Transformation London, England, SpringerLink (Online service), and K.-K Lau. Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : Selected Papers. Berlin: Springer, 2001.

MLA (9th ed.) Citation

International Workshop on Logic-based Program Synthesis and Transformation London, England, et al. Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : Selected Papers. Springer, 2001.