VORONKOV, Andrei und WEIDENBACH, Christoph (Hrsg.). 1 st ed. 2013. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642376511.
Elsevier - Harvard (with titles)Voronkov, A., Weidenbach, C. (Hrsg.), 2013. Programming Logics : Essays in Memory of Harald Ganzinger, 1 st ed. 2013. ed, Theoretical Computer Science and General Issues. Springer Berlin Heidelberg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37651-1
American Psychological Association 7th editionProgramming Logics : Essays in Memory of Harald Ganzinger. (ca. 2013). [Cd]. In A. Voronkov & C. Weidenbach (Hrsg.), Theoretical Computer Science and General Issues (1 st ed. 2013). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-37651-1
Springer - Basic (author-date)Voronkov A, Weidenbach C (Hrsg.) (2013) Programming Logics : Essays in Memory of Harald Ganzinger, 1 st ed. 2013. Springer Berlin Heidelberg, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Voronkov, Andrei/ Weidenbach, Christoph (Hrsg.), Programming Logics : Essays in Memory of Harald Ganzinger, 1 st ed. 2013 , Berlin, Heidelberg 2013.