Formalization of Programming Concepts (ICFPC)
ICFPC 1981: Peniscola, Spain
Josep Díaz, Isidro Ramos (Eds.): Formalization of Programming Concepts, International Colloquium, Peniscola, Spain, April 19-25, 1981, Proceedings. Springer 1981 Lecture Notes in Computer Science 107 ISBN 3-540-10699-5 [ contents ]



