TY  - BOOK
AU  - Bergstra,J.A.
AU  - Heering,J.
AU  - Klint,P.
TI  - Algebraic specification
SN  - 0201416352
AV  - QA76.9.A23  A44 1989
PY  - 1989///
CY  - Wokingham, England : 
PB  - Addison-Wesley, 
KW  - Tipos de datos abstractos (Computación)
N1  - Bibliografía : p. 379-390; Incluye índice
ER  -