The Temporal Logic of Reactive and Concurrent Systems
-
inbunden
,
Engelska, 1991