Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results.

Fernando Orejas Marisa Navarro Ana Sánchez Algebraic Implementation of Abstract Data Types: A Survey of Concepts and New Compositionality Results. 33-67 1996 6 Mathematical Structures in Computer Science 1 db/journals/mscs/mscs6.html#OrejasNS96