APA (7th ed.) Citation

LOPSTR (Symposium) London, England), SpringerLink (Online service), & Hill, P. (2006). Logic based program synthesis and transformation: 15th international symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : revised selected papers. Springer. https://doi.org/10.1007/11680093

Chicago Style (17th ed.) Citation

LOPSTR (Symposium) London, England), SpringerLink (Online service), and Patricia Hill. Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : Revised Selected Papers. Berlin ; New York: Springer, 2006. https://doi.org/10.1007/11680093.

MLA (9th ed.) Citation

LOPSTR (Symposium) London, England), et al. Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 : Revised Selected Papers. Springer, 2006. https://doi.org/10.1007/11680093.