Cita APA (7a ed.)
Andy King. Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. Springer.
Cita estilo Chicago (17a ed.)
Andy King. Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. Berlín, Alemania: Springer.
Cita MLA (9a ed.)
Andy King. Logic-Based Program Synthesis and Transformation: 17th International Symposium, LOPSTR 2007, Kongens Lyngby, Denmark, August 23-24, 2007, Revised Selected Papers. Springer.
Precaución: Estas citas no son 100% exactas.