1. Abadi, M., Lamport, L.: Composing specifications. ACM Trans. Program. Lang. Syst. 15(1), 73–132 (1993)
2. Alur, R., Peled, D.A., Penczek, W.: Model-checking of causality properties. In: IEEE Symposium on Logic in Computer Science, pp. 90–100 (1995)
3. Alur, R., Peled, D.: Undecidability of partial order logics. Inf. Process. Lett. 69(3), 137–143 (1999)
4. Arnold, A., Niwinski, D.: Rudiments of $$\mu $$-Calculus. Elsevier, Amsterdam (2001)
5. Büchi, J.R.: On a decision method in restricted second order arithmetic. In: International Congress on Logic, Methodology and Philosophy of Science, pp. 1–11. Stanford University Press (1962)