Formalization of Programming Concepts (ICFPC)

ICFPC 1981: Peniscola, Spain

maintained by Schloss Dagstuhl LZI at University of Trier