The construction of formal specifications : an introduction to the model-based and algebraic approaches - Turner, John (McGraw-Hill, 1994)