APA citiranje

Hutchison, D. (2009). Logic-based program synthesis and transformation: 18th international symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, revised selected papers. Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Hutchison, David. Logic-based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009.

MLA citiranje

Hutchison, David. Logic-based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Springer Berlin Heidelberg, 2009.