"Algebraic Specification (Acm Press Frontier Series)" - читать интересную книгу автора (J. A. Bergstra, J. Heering)