Title: Selected papers of the 7th Annual Symposium on Theoretical Aspects of Computer Science (STACS '90), Rouen, France, February 22-24, 1990