Dynamic logic - Harel, David (Prentice Hall of India, 2000)