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