GOTA Algebras: A Specification Formalism for Inheritance and Object Hierarchies. - Joaquín Mateos-Lago; Mario Rodríguez-Artalejo (PLILP, 1996)

A declarative framework for object-oriented programming with genetic inheritance. - Joaquín Mateos-Lago; Mario Rodríguez-Artalejo (Theor. Comput. Sci., 2001)