Stacs 92: 9Th Annual Symposium On Theoretical Aspects Of Computer Science Cachan, France, February 13–15, 1992 Proceedings