Trích dẫn APA

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

Trích dẫn kiểu Chicago

Bjorner, Diner, và Cliff B. Jones. Formal Specification and Software Development. New Jersy: Prentice-hall international, 1982.

Trích dẫn MLA

Bjorner, Diner, và Cliff B. Jones. Formal Specification and Software Development. Prentice-hall international, 1982.

Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.