Prud’homme , L.; Dolbec , A.; Brodeur , M.; Presseau , A.; Martineau , S. Building an Island of Rationality Around the Concept of Differentiation. JCACS 2006, 4.