APA-Zitierstil (7. Ausg.)

Turner, J. G., & MacCluskey, T. L. (1994). The construction of formal specifications: An introduction to the model-based and algebraic approaches. McGraw-Hill.

Chicago-Zitierstil (17. Ausg.)

Turner, John G., und T. L. MacCluskey. The Construction of Formal Specifications: An Introduction to the Model-based and Algebraic Approaches. London u.a: McGraw-Hill, 1994.

MLA-Zitierstil (9. Ausg.)

Turner, John G., und T. L. MacCluskey. The Construction of Formal Specifications: An Introduction to the Model-based and Algebraic Approaches. McGraw-Hill, 1994.