LOPSTR (Symposium) Hagenberg, Austria), SpringerLink (Online service), & Alpuente, M. (2011). Logic-based program synthesis and transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers. Springer. https://doi.org/10.1007/978-3-642-20551-4
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)LOPSTR (Symposium) Hagenberg, Austria), SpringerLink (Online service), و Maria Alpuente. Logic-based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers. Berlin, Heidelberg: Springer, 2011. https://doi.org/10.1007/978-3-642-20551-4.
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)LOPSTR (Symposium) Hagenberg, Austria), et al. Logic-based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers. Springer, 2011. https://doi.org/10.1007/978-3-642-20551-4.