Mathematical foundations of computer science proceedings
Symposium on Mathematical Foundations of ComputerScience, 4., Marianske Iazne, 1975 Jiri Becvar
Berlin Springer 1975
Localização:
ICMC - Inst. Ciên. Mat. Computação
(00-02 Lncs v.32 ex.1 ) e outros locais(Acessar)