A theory of abstract data types for program development bridging the gap?
Paulo A. S. Veloso (Paulo Augusto Silva), 1944- Thomas S. E Maibaum 1947-
Rio de Janeiro Puc 1983
Localização:
IME - Inst. Matemática e Estatística
(S M751 1983 v.15 )(Acessar)