Citazione Stile APA (7a Edizione)
Michael Hanus. Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Springer.
Citazione stile Chigago Style (17a edizione)
Michael Hanus. Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Berlín, Alemania: Springer.
Citatione MLA (9a ed.)
Michael Hanus. Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Springer.
Attenzione: Queste citazioni potrebbero non essere precise al 100%.