Formalization of Programming Concepts (ICFPC)

ICFPC 1981: Peniscola, Spain