Automata and computability: By Dexter C. Kozen. Springer-Verlag, New York. (1997) 400 pages. $39.95, GDM 64.00, GBP 24.50Computers & Mathematics with Applications1998PDF87 KB
Dynamic Logic by David Harel, Dexter Kozen and Jerzy Tiuryn. The MIT Press, Cambridge, Massachusetts. Hardback: ISBN 0–262–08289–6, $50, xv + 459 pagesVENEMA · Theory and Practice of Logic Programming2002PDF86 KB
