J. Abrial, The B-Book: Assigning Programs to Meanings, 1966.
DOI : 10.1017/CBO9780511624162

L. Aceto, A. Ingòlfsdòttir, K. G. Larsen, and J. Srba, Reactive Systems Modelling, Specification and Verification, 2007.

C. Alexander and . Kong, Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language, Journal of Universal Computer Science, vol.9, issue.11, pp.1322-1349, 2003.

J. Hillston, A Compositional Approach to Performance Modelling, 1996.
DOI : 10.1017/CBO9780511569951

B. Jacobs, Draft: Introduction to Coalgebra, Towards Mathematics of States and Observations

B. Jacobs and J. Rutten, A Tutorial on (Co)Algebras and (Co)Induction, Bulletin of the European Association for Theoretical Computer Science, pp.222-259, 1997.

R. Milner, A Calculus of Communicating Systems, 1980.
DOI : 10.1007/3-540-10235-3

H. Reichel, Behavioural equivalence ? a unifying concept for initial and final specifications, Third Hugarian Computer Science Conference. Akademiai Kiado, 1981.

D. Sangiogi, On the origins of bisimulation, coinduction and fixed points, 2007.