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