APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

Bjørner, D., and C. B. Jones. Formal Specification and Software Development. Englewood Cliffs, N.J.: Prentice/Hall International, 1982.

MLA (9th ed.) Citation

Bjørner, D., and C. B. Jones. Formal Specification and Software Development. Prentice/Hall International, 1982.