Стиль цитування APA (7-ме видання)
Germán Vidal. Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Springer.
Чикаго стиль цитування (17-те видання)
Germán Vidal. Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Berlín, Alemania: Springer.
Стиль цитування MLA (9-ме видання)
Germán Vidal. Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers. Springer.
Попередження: стилі цитування не завжди правильні на всі 100%.