Advances in Temporal Logic
-
inbunden
,
Engelska, 1999