International Colloquium on Formalization of Programming Concepts (ICFPC)

ICFPC 1981: Peniscola, Spain

a service of Schloss Dagstuhl - Leibniz Center for Informatics