"Foundations of Computer Software: Modeling, Development, and Verification of Adaptive Systems" - читать интересную книгу автора (Radu Calinescu, Ethan Jackson)