Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

BJØRNER, Dines (Hrsg.). Berlin: Springer. ISBN 3540741062.

Elsevier - Harvard (with titles)

Bjørner, D. (Hrsg.), 2008. Logics of specification languages, Monographs in theoretical computer science. Springer, Berlin.

American Psychological Association 7th edition

Logics of specification languages. (ca. 2008). [Book]. In D. Bjørner (Hrsg.), Monographs in theoretical computer science. Springer.

Springer - Basic (author-date)

Bjørner D (Hrsg.) (2008) Logics of specification languages. Springer, Berlin

Juristische Zitierweise (Stüber) (Deutsch)

Bjørner, Dines (Hrsg.), Logics of specification languages, Berlin 2008.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.