Dynamic logic (1984)

by D Harel
Venue:In Handbook of Philosophical Logic