1. Abadi, M., Plotkin, G.D.: A logical view of composition. TCS 114(1), 3–30 (1993)
2. Bergstra, J.A., Ponse, A., Smolka, S.A.: Handbook of Process Algebra. Elsevier, Amsterdam (2001)
3. Bloom, B., Istrail, S., Meyer, A.R.: Bisimulation can’t be traced. J. ACM 42(1), 232–268 (1995)
4. Emerson, E.A.: Temporal and modal logic. In: Handbook of Theoretical Computer Science, vol. B, pp. 995–1072. North-Holland, Amsterdam (1990)
5. van Glabbeek, R.: The linear time – branching time spectrum II (1993), available at
http://theory.stanford.edu/~rvg/abstracts.html#26