Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems (1989)

by Dov M Gabbay
Venue:In Proceedings of the Colloquium of Temporal Logic in Specification, volume 398 of LNCS