APA Zitierstil

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

Chicago Zitierstil

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

MLA Zitierstil

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.