Ahmed M. Amin Mithuna Thottethodi T. N. Vijaykumar Steven Wereley Stephen C. Jacobson Automatic volume management for programmable microfluidics. 56-67 2008 PLDI http://doi.acm.org/10.1145/1375581.1375590 conf/pldi/2008 db/conf/pldi/pldi2008.html#AminTVWJ08