Frontiers of Combining Systems4th International Workshop, FroCoS 2002 Santa Margherita Ligure, Italy, April 8–10, 2002 ProceedingsLNCS 2309/2002