Lecture Notes in Computer Science : Symposium of Theoretical Aspects of Computer Science Paris, 11-13, 1984 (1984)