Dynamic logic [electronic resource] - Harel, David , 1950-; Kozen, Dexter , 1951-; Tiuryn, Jerzy (Foundations of computing, 2000)