“...Symposium on Theoretical Aspects of Computer Science Montpellier, Francie)...”