Recent trends in data types specification selected papers
Workshop on Specification on Abstract Data Types,5., Edinburgh, 1987 Andrzej Tarlecki
Berlin Springer 1988
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.332 ex.1 ) e outros locais(Acessar)