The construction of formal specifications : an introduction to the model-based and algebraic approaches.
Turner, John G and McCluskey, T.L.
(1994)
The construction of formal specifications : an introduction to the model-based and algebraic approaches.
McGraw-Hill.
ISBN 9780077077358