Modal and Temporal Logics (1992)

by C Stirling
Venue:In Handbook of Logic in Computer Science, v.2, Claredon