Constructivity in computer science proceedings
Summer Symposium on Constructivity in Computer Science, San Antonio, 1991 J Paul Myers Jr.
Berlin Springer 1992
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.613 e.1 ) e outros locais(Acessar)