Method and tools for compiler construction, An advanced course, INRIA, 5-16 December 1983