"The construction of formal specifications: an introduction to the model-based and algebraic approaches" - читать интересную книгу автора (J. G. Turner, T. L. McCluskey)