First-order dynamic logic. - Harel David (Berlin Springer-Verlag, 1979)
Keywords: Computer Science; Mathematical logic