David Harel First-Order Dynamic Logic Lecture Notes in Computer Science 68 Springer 1979 3-540-09237-4