First-order dynamic logic - Harel, David, 1950 (Springer-Verlag, 1979)
Includes index
Rev. version of the author's thesis, M.I.T., 1978
Keywords: Computer programming; Logic, Symbolic and mathematical; Recursion theory