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
Add to AnyAdd to TwitterAdd to FacebookAdd to LinkedinAdd to PinterestAdd to Email