Recent trends in data type specification selected papers
Workshop on Specification of Abstract Data Types,7., Wusterhausen / Dose, 1990 Hartmut Ehrig
Berlin Springer 1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.534 e.1 ) e outros locais(Acessar)