Author: French Spring School of Theoretical Computer Science (1993 Font-Romeu, France)