1. Bolognesi, T. & Brinksma, E.: Introduction to the ISO specification language LOTOS, in The Formal Descr. Technique LOTOS, North-Holland, 1989, pp. 23–73
2. Clarke, E. M. & Long, D. E. & McMillan, K. L.: Compositional model checking, in Proceedings of the Fourth IEEE LICS, 1989, pp. 353–362
3. De Nicola, R. & Vaandrager, F.: Action vs. state based logics for transition systems, in Semantics of Sys. of Conc. Proc., LNCS vol. 469, Springer, 1990, pp. 407–419
4. Emerson, E. A.: Temporal and modal logic, in van Leeuwen, J. (ed.): Handbook of Theoretical Computer Science, Elsevier/North-Holland, 1990, pp. 997–1072
5. Graf, S. & Steffen, B. & Lüttgen, G.: Compositional Minimisation of Finite State Systems Using Interface Spec., in Formal Asp. of Comp., vol. 8, 1996, pp. 607–616