On the relation of programs and computations to models of temporal logic (1989)

by P Wolper
Venue:In Proc. of the Temporal Logic in Specification, Banieqbal