Dynamic logic - Harel, David, 1950- (MIT Press, 2000)