Books by French Spring School of Theoretical Computer Science (1993 Font-Romeu, France)