First-order dynamic logic - Harel, David (Lecture Notes in Computer Science ;, 1979)