Temporal Logic in Specification

Temporal Logic in Specification 1987: Altrincham, UK