For Dynamic Logic - (Foundations of Computing) by David Harel & Dexter Kozen & Jerzy Tiuryn (Paperback)