Author: Ecole de printemps d'informatique théorique (15th 1987 Saint-Pierre d'Oléron, France)