The B-Book: Assigning Programs to Meanings, 1966. ,
DOI : 10.1017/CBO9780511624162
Reactive Systems Modelling, Specification and Verification, 2007. ,
Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language, Journal of Universal Computer Science, vol.9, issue.11, pp.1322-1349, 2003. ,
A Compositional Approach to Performance Modelling, 1996. ,
DOI : 10.1017/CBO9780511569951
Draft: Introduction to Coalgebra, Towards Mathematics of States and Observations ,
A Tutorial on (Co)Algebras and (Co)Induction, Bulletin of the European Association for Theoretical Computer Science, pp.222-259, 1997. ,
A Calculus of Communicating Systems, 1980. ,
DOI : 10.1007/3-540-10235-3
Behavioural equivalence ? a unifying concept for initial and final specifications, Third Hugarian Computer Science Conference. Akademiai Kiado, 1981. ,
On the origins of bisimulation, coinduction and fixed points, 2007. ,