Publisher
Springer Science and Business Media LLC
Reference14 articles.
1. Backhouse RC, Hoogendijk PF (1993) Elements of a relational theory of datatypes. In: Möller B, Partsch H, Schuman S (eds) Formal program development, pp 7–42. Springer lecture notes in computer science, vol 755
2. Barbosa LS, Oliveira JN, Silva AM (2008) Calculating invariants as coreflexive bisimulations. In: Meseguer J, Rosu G (eds) Proceedings of the 12th international conference on algebraic methodology and software technology, AMAST 2008, Urbana, IL, USA, July 28–31, 2008, pp 83–99. Springer lecture notes in computer science, vol 5140
3. Barbosa LS, Sun M (2008) UML model refactoring as refinement: a coalgebraic perspective. In: Negru V, Jebelean T, Pectu D, Zaharie D (eds) Proceedings of GlobalComp, at 10th SYNASC, 26–29 September 2008, Timisoara, Romania, pp 340–347. IEEE Computer Society, USA
4. Bird R, Moor O (1997) The algebra of programming. Series in computer science. Prentice-Hall International, Englewood Cliffs
5. Cruz A, Barbosa L, Oliveira J (2005) From algebras to objects: generation and composition. J Univers Comput Sci 11(10): 1580–1612