Dynamic Logic - HAREL(DAVID) KOZEN (DEXTER)GERZY TIURYN (N.DELHI PHI)