1. Verification of Temporal Properties of Concurrent Systems;Andersen,1993
2. Fixed point characterization of Büchi automata on infinite trees;Arnold;J. Inform. Process. Cybernet. EIK,1990
3. Admissible Sets and Structures;Barwise,1975
4. Definable operations in general algebras, and the theory of automata and flow charts;Bekič,1984
5. Verifying Temporal Properties of Systems;Bradfield,1991