"Algebraic System Specification and Development - A Survey and Annotated Bibliography" - читать интересную книгу автора