Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

Bjørner, Dines, a Cliff B. 1944 Jones. Formal Specification and Software Development. Englewood Cliffs, N.J: Prentice, Hall International, 1982.

Citace podle MLA (9th ed.)

Bjørner, Dines, a Cliff B. 1944 Jones. Formal Specification and Software Development. Prentice, Hall International, 1982.

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..