Recent trends in data type specification selected papers
Workshop on Specification of Abstract Data Types (9. 1992 Caldes de Malavella) Hartmut Ehrig; Compass Workshop (4. 1992 Caldes de Malavella)
Berlin Springer 1994
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.785 ) e outros locais(Acessar)