editors. The Imperative Future (1996)

by H Barringer, M Fisher, D Gabbay, R Owens, M Reynolds
Venue:Principles of Executable Temporal Logics. Research Studies