SpringerLink (Online service) & Hill, P. M. (2006). Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers. Springer Berlin Heidelberg.
Chicago Style (17th ed.) CitationSpringerLink (Online service) and Patricia M. Hill. Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006.
MLA (8th ed.) CitationSpringerLink (Online service) and Patricia M. Hill. Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers. Springer Berlin Heidelberg, 2006.