SpringerLink (Online service) & Albert, E. (2013). Logic-based program synthesis and transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Springer Berlin Heidelberg.
Chicago-viite (17. p.)SpringerLink (Online service) ja Elvira Albert. 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, 2013.
MLA-viite (8. p.)SpringerLink (Online service) ja Elvira Albert. Logic-based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Springer Berlin Heidelberg, 2013.