Coalgebra semantics for hidden algebra: parameterized objects and inheritance (1998)

by C Cîrstea
Venue:In Recent Trends in Algebraic Development Techniques, volume 1376 of LNCS