The construction of formal specifications : an introduction to the model-based and algebraic approaches /
Turner, John,1946-
McCluskey, T. L.(T. Lee),1957-
London : McGraw-Hill,
c1994.
Software engineering.