"Mathematical Foundations of Software Development" - читать интересную книгу автора (Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher)