Hélène Kirchner Christophe Ringeissen Frontiers of Combining Systems, Third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000, Proceedings FroCoS Lecture Notes in Computer Science 1794 Springer 2000 3-540-67281-8 db/conf/frocos/frocos2000.html