APA (7e ed.) Bronvermelding
Michael Hanus. Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Springer.
Chicago (17e ed.) Bronvermelding
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.
MLA (9e ed.) Bronvermelding
Michael Hanus. Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Springer.
Let op: Deze citaties zijn niet altijd 100% accuraat.