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