Dynamic logic - Harel, David 1950-; Kozen, Dexter 1951-; Tiuryn, Jerzy (The MIT Press, 2000)