Algebraic implementation of abstract data types: A survey of concepts and new compositionality results
- Orejas, F.
- Navarro, M.
- Sánchez, A.
ISSN: 0960-1295
Année de publication: 1996
Volumen: 6
Número: 1
Pages: 33-67
Type: Article
Revue:
Mathematical Structures in Computer Science