Second French-Soviet Workshop on Methods of Compilation and Program Construction Nice, february 1988 (North-Holland, 1990)