Temporal Logic in Specification

Temporal Logic in Specification 1987: Altrincham, UK

maintained by Schloss Dagstuhl LZI at University of Trier