STACS 88 : 5th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 11-13, 1988, proceedings / - Cori, Robert.; Wirsing, M. (Springer-Verlag, 1988)