Bjorner, D., & Jones, C. B. (1982). Formal specification and software development. Prentice-hall international.
シカゴスタイル引用形Bjorner, Diner, , Cliff B. Jones. Formal Specification and Software Development. New Jersy: Prentice-hall international, 1982.
MLA引用形式Bjorner, Diner, , Cliff B. Jones. Formal Specification and Software Development. Prentice-hall international, 1982.
警告: この引用は必ずしも正確ではありません.