BJØRNER, Dines, 2006. Software Engineering 2 : Specification of Systems and Languages. 1 st ed. 2006. Berlin, Heidelberg: Springer Berlin Heidelberg. ISBN 9783540331933.
Elsevier - Harvard (with titles)Bjørner, D., 2006. Software Engineering 2 : Specification of Systems and Languages, 1 st ed. 2006. ed, Texts in Theoretical Computer Science. An EATCS Series. Springer Berlin Heidelberg, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-33193-3
American Psychological Association 7th editionBjørner, D. (ca. 2006). Software Engineering 2 : Specification of Systems and Languages [Cd]. In Texts in Theoretical Computer Science. An EATCS Series (1 st ed. 2006). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-33193-3
Springer - Basic (author-date)Bjørner D (2006) Software Engineering 2 : Specification of Systems and Languages, 1 st ed. 2006. Springer Berlin Heidelberg, Berlin, Heidelberg
Juristische Zitierweise (Stüber) (Deutsch)Bjørner, Dines, Software Engineering 2 : Specification of Systems and Languages, 1 st ed. 2006 , Berlin, Heidelberg 2006.