First- order dynamic logic - Harel, David (rz1, 1979)