Ismel Brito Pedro Meseguer Improving ABT Performance by Adding Synchronization Points. 47-61 2007 CSCLP http://dx.doi.org/10.1007/978-3-540-89812-2_4 conf/csclp/2007 db/conf/csclp/csclp2007.html#BritoM07