ISO-690 (author-date, English)

BJØRNER, Dines und JONES, Cliff B., 1982. Formal specification and software development. Englewood Cliffs [u.a.]: Prentice-Hall. ISBN 0133290034.

Elsevier - Harvard (with titles)

Bjørner, D., Jones, C.B., 1982. Formal specification and software development, Prentice-Hall internatinal series in computer science. Prentice-Hall, Englewood Cliffs [u.a.].

American Psychological Association 7th edition

Bjørner, D., & Jones, C. B. (ca. 1982). Formal specification and software development [Book]. In Prentice-Hall internatinal series in computer science. Prentice-Hall.

Springer - Basic (author-date)

Bjørner D, Jones CB (1982) Formal specification and software development. Prentice-Hall, Englewood Cliffs [u.a.]

Juristische Zitierweise (Stüber) (Deutsch)

Bjørner, Dines/ Jones, Cliff B., Formal specification and software development, Englewood Cliffs [u.a.] 1982.

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