Author: Ecole de printemps d'informatique théorique (16th 1988 Ramatuelle, France)