Frontiers of Combining Systems Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings - Kirchner, Helene; Kirchner, Helene; Ringeissen, Christophe; Ringeissen, Christophe (Springer Berlin Heidelberg : Imprint: Springer, 2000)