Dynamic logic: axiomatics and expressive power (1979)

by D Harel
Venue:Ph.D. Thesis, MIT, LNCS 68