Categorical methods in computer science with aspects from topology : proceedings
International Workshop on Categorical Methods in Computer Science With Aspects from Topology, Berlin, 1988 Hartmut Ehrig
Berlin Springer 1989
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.393 e.1 ) e outros locais(Acessar)