CONSTABLE, Robert L und SILVA, Alexandra (Hrsg.). 1 st ed. 2012. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783642294853.
Elsevier - Harvard (with titles)Constable, R.L., Silva, A. (Hrsg.), 2012. Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60 th Birthday, 1 st ed. 2012. ed, Programming and Software Engineering. Springer Berlin Heidelberg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29485-3
American Psychological Association 7th editionLogic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60 th Birthday. (ca. 2012). [Cd]. In R. L. Constable & A. Silva (Hrsg.), Programming and Software Engineering (1 st ed. 2012). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-642-29485-3
Springer - Basic (author-date)Constable RL, Silva A (Hrsg.) (2012) Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60 th Birthday, 1 st ed. 2012. Springer Berlin Heidelberg, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Constable, Robert L/ Silva, Alexandra (Hrsg.), Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60 th Birthday, 1 st ed. 2012 , Berlin, Heidelberg 2012.