Algorithmic Languages and Calculi 1997: Bisschoffsheim, Alsace, France