APA (7th ed.) Citation

Bjorner, D., & Jones, C. B. (1982). Formal specification and software development.

Chicago Style (17th ed.) Citation

Bjorner, D., and C. B. Jones. Formal Specification and Software Development. 1982.

MLA (9th ed.) Citation

Bjorner, D., and C. B. Jones. Formal Specification and Software Development. 1982.

Warning: These citations may not always be 100% accurate.