Sergio Antoy Daniel W. Brown Su-Hui Chiang On the Correctness of Bubbling. 35-49 2006 conf/rta/2006 RTA http://dx.doi.org/10.1007/11805618_4 db/conf/rta/rta2006.html#AntoyBC06