Dynamic logic. (1984)

by D Harel
Venue:Handbook of Philosophical Logic, volume II,