APA (7th ed.) Citation

SpringerLink (Online service) & Bruynooghe, M. (2004). Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

SpringerLink (Online service) and Maurice Bruynooghe. Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2004.

MLA (8th ed.) Citation

SpringerLink (Online service) and Maurice Bruynooghe. Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers. Springer Berlin Heidelberg, 2004.