Dynamic Logic by David Harel, Dexter Kozen & Jerzy Tiuryn