Design and implementation of symbolic computation systems proceedings
International Symposium on Design and Implementation of Symbolic Computation Systems (2. 1992 Bath) John Fitch
Berlin Springer 1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.721 e.1 ) e outros locais(Acessar)