STACS 84: symposium of theoretical aspects of computer science, Paris, april 11-13, 1984. - Fontet, M. (Springer Verlag, 1984)