1. S. Abramsky, A domain equation for bisimulation, Information and Computation 92(2) (1991), 161–218.
2. L. Aceto, W. Fokking, and C. Verhoef, Structural operational semantics, in: Handbook of Process Algebra (J. A. Bergstra, A. Ponce, and S. A. Smolka, eds.), North-Holland, 2001.
3. P. Aszel and N. Mendler, A final coalgebra theorem, in: LNCS 389, Springer-Verlag, 1989.
4. P. Azcel, J. Adamek, S. Milius, and J. Velebil, Infinite trees and comletely iterative theories: a coalgebraic view, TCS 300(1–3) (2003), 1–45.
5. J. A. Bergstra and J. W. Klop, Process algebra for synchronous communications, Information and Control 60(1/3) (1984), 109–137.