APA (7th ed.) Citation

(2005). Logic based program synthesis and transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004 ; revised papers. Springer.

Chicago Style (17th ed.) Citation

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004 ; Revised Papers. Berlin [u.a.]: Springer, 2005.

MLA (9th ed.) Citation

Logic Based Program Synthesis and Transformation: 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26 - 28, 2004 ; Revised Papers. Springer, 2005.