Dynamic logic - Harel, David, 1950- (Foundations of computing., 2000)