Παραπομπή σε μορφή APA (7η εκδ.)

Albert, E. Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Springer Berlin Heidelberg.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Albert, Elvira. Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg.

Παραπομπή σε μορφή MLA (8th εκδ.)

Albert, Elvira. Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Springer Berlin Heidelberg.