The construction of formal specifications an introduction to the model based and algebraic approaches - Turner, J. G; McCluskey, T. L (London McGraw-Hill Book Company, 1994)
Includes bibliographical references and index
3
Keywords: Software Engineering