"Foundations of Algebraic Specification and Formal Software Development" - читать интересную книгу автора (D Sannella; Andrzej Tarlecki )