Emilie Balland Claude Kirchner Pierre-Etienne Moreau Formal Islands. 51-65 2006 conf/amast/2006 AMAST http://dx.doi.org/10.1007/11784180_7 db/conf/amast/amast2006.html#BallandKM06