Author: Ecole de printemps d'informatique théorique (1984 Le Mont-Dore, France)