Record Citations

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

Turner, John, and T. Lee McCluskey. The Construction of Formal Specifications : An Introduction to the Model-based and Algebraic Approaches. London: McGraw-Hill, 1994.