"Harel D., Kozen D., Tiuryn J. Dynamic logic (MIT, 2000)(ISBN 0262082896)(476s)_MAml_.pdf" - читать интересную книгу автора