Diaz, J. Ed. Ramos, I. Ed.
Formalization of programming concepts Proceedings, Int.Colloquium, Spain, 1981 - Berlin Springer Verlag 1981 - 478 - Lecture notes in computer science ; 00107 .
3540106995
Formalization of Programming Concepts
681 LNCS
Formalization of programming concepts Proceedings, Int.Colloquium, Spain, 1981 - Berlin Springer Verlag 1981 - 478 - Lecture notes in computer science ; 00107 .
3540106995
Formalization of Programming Concepts
681 LNCS