1. The linear time – branching time spectrum;van Glabbeek,2001
2. Communication and Concurrency;Milner,1989
3. Modal correspondence theory;van Benthem,1976
4. On the expressive completeness of the propositional mu-calculus with respect to monadic second order logic;Janin,1996
5. Counting on CTL⁎: on the expressive power of monadic path logic;Moller;Inf. Comput.,2003