Dynamic logic - Hazel, Davide (Vidhyanagar PHI, 2006)