Choffrut, C., & Lengauer, T. (Eds.). (1990). STACS 90, 7th Annual Symposium on Theoretical Aspects of Computer Science. Springer.