STACS 92 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992 : proceedings / - Finkel, A.; Jantzen, Matthias, (Lecture notes in computer science ;)