Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
WADT '98 (1998 Lisbon, Portugal) José Luiz Fiadeiro 1961-
Berlin Springer New York c1999
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1589 e.1 ) e outros locais(Acessar)