D. Harel

• First-Order Dynamic Logic