STACS 84 Symposium of Theoretical Aspects of Computer Science, Paris, [April] 11 - 13, 1984 (Springer, 1984)