Algebraic implementation of abstract data types: a survey of concepts and new compositionality results | Publicación