Bjorner, D., & Jones, C. B. (1982). Formal specification and software development.
Παραπομπή σε μορφή Chicago (17η εκδ.)Bjorner, D., και C. B. Jones. Formal Specification and Software Development. 1982.
Παραπομπή σε μορφή MLA (9th εκδ.)Bjorner, D., και C. B. Jones. Formal Specification and Software Development. 1982.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.