Dynamic Logic. (2000)

by D Harel, D Kozen, J Tiuryn