Formalization of Programming Concepts
International Colloquium Peniscola, Spain, April 19–25, 1981 Proceedings
- Editors
Conference proceedings
ICFPC 1981
Part of the Lecture Notes in Computer Science book series (LNCS, volume 107)