On static logics, dynamic logics, and complexity classes (1984)

by D Harel, D Peleg
Venue:Inform. Control