BJØRNER, Dines (Hrsg.). Berlin [u.a.]: Springer. Lecture notes in computer science, 98. ISBN 3540102833.
Elsevier - Harvard (with titles)Bjørner, D. (Hrsg.), 1980. Towards a formal description of Ada, Lecture notes in computer science, Lecture notes in computer science. Springer, Berlin [u.a.].
American Psychological Association 7th editionTowards a formal description of Ada. (ca. 1980). [Book]. In D. Bjørner (Hrsg.), Lecture notes in computer science. Springer.
Springer - Basic (author-date)Bjørner D (Hrsg.) (1980) Towards a formal description of Ada. Springer, Berlin [u.a.]
Juristische Zitierweise (Stüber) (Deutsch)Bjørner, Dines (Hrsg.), Towards a formal description of Ada, Berlin [u.a.] 1980.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.