First-order dynamic logic - Harel, David (Springer Verlag, 1979)