Dynamic logic. Handbook of Philosophical Logic (1984)

by D Harel, D Kozen, J Tiuryn