Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981. ProceedingsJ. Diaz, I. Ramos |
Formalization of Programming Concepts: International Colloquium, Peniscola, Spain, April 19-25, 1981. ProceedingsJ. Diaz, I. Ramos |