STACS 2000 by Symposium on Theoretical Aspects of Computer Science (17th 2000 Lille, France) | Menrva Books