Frontiers of Combining Systems : Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings - Hélène Kirchner, Christophe Ringeissen ((Lecture Notes in Computer Science))