Download Stacs 2000 17Th Annual Symposium On Theoretical Aspects Of Computer Science Lille France February 1719 2000 Proceedings 2000