Algebraic methods theory, tools and applications : proceedings
Workshop on Algebraic Methods : Theory, Tools andApplications, 2., Mierlo, 1989 Jan A Bergstra
Berlin Springer 1991
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.490 e.1 ) e outros locais(Acessar)