Catherine Dubois Jean-Marc Mota A Formally Verified Geometric Modelling Core. 643-649 2006 conf/serp/2006-2 Software Engineering Research and Practice db/conf/serp/serp2006-2.html#DuboisM06