APA-Zitierstil (7. Ausg.)

Bjørner, D., & Jones, C. B. (1982). Formal specification and software development (1. print.). Prentice-Hall.

Chicago-Zitierstil (17. Ausg.)

Bjørner, Dines, und Cliff B. Jones. Formal Specification and Software Development. 1. print. Englewood Cliffs, NJ [u.a.]: Prentice-Hall, 1982.

MLA-Zitierstil (9. Ausg.)

Bjørner, Dines, und Cliff B. Jones. Formal Specification and Software Development. 1. print. Prentice-Hall, 1982.