1. Testing of abstract components;Kanso,2010
2. Emergent properties in reactive systems;Aiguier,2008
3. Towards a calculus of state-based software components;Barbosa;J. UCS,2003
4. Components as coalgebras: the refinement dimension;Meng;Theoret. Comput. Sci. (TCS),2006
5. Notions of computation and monads;Moggi;Inform. and Comput.,1991