Hanus, M. (Hrsg.) (2009) „Logic-Based Program Synthesis and Transformation : 18 th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers“, Theoretical Computer Science and General Issues. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/978-3-642-00515-2.
Chicago Manual of Style 17th edition (full note)Hanus, Michael, Hrsg. „Logic-Based Program Synthesis and Transformation : 18 th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers“. Cd. Theoretical Computer Science and General Issues. Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?], Berlin, Heidelberg: Springer Berlin Heidelberg, [2009?]. https://doi.org/10.1007/978-3-642-00515-2.
American Psychological Association 7th editionHanus, M. (Hrsg.). (ca. 2009). Logic-Based Program Synthesis and Transformation : 18 th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2009). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-00515-2
Modern Language Association 9th editionHanus, M., Herausgeber. „Logic-Based Program Synthesis and Transformation : 18 th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers“. Theoretical Computer Science and General Issues, 1 st ed. 2009, cd, Springer Berlin Heidelberg, 2009, https://doi.org/10.1007/978-3-642-00515-2.
ISO-690 (author-date, Deutsch)HANUS, Michael (Hrsg.). [cd]. 2009. 1 st ed. 2009. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642005152