1. Lecture Notes in Computer Science;N. Cataño,2003
2. Lecture Notes in Computer Science;P. Cenciarelli,1999
3. Lecture Notes in Computer Science;G. Ciardo,2003
4. Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic. In: Proceedings of Logics of Programs, Yorktown Heights, New York, May 1981. LNCS, pp. 52–71 (1981)
5. Emerson, E.A., Halpern, J.Y.: Decision procedures and expressiveness in the temporal logic of branching time. In: Proceedings of 14th Symposium on Theory of Computing (STOC 1982), San Francisco, CA, pp. 169–180. ACM, New York (1982)