Bialgebraic description of generalized binary methods and other topics in the semantics of object-oriented languages. - Rademalla Rekha (2007)