Author: French-Soviet Workshop on Methods of Compilation and Program Construction (5nd 1991 Grenoble, France)