Himanshu Gupta Xianjin Zhu Xiang Xu Deductive Framework for Programming Sensor Networks. 281-292 2009 ICDE http://dx.doi.org/10.1109/ICDE.2009.52 conf/icde/2009 db/conf/icde/icde2009.html#GuptaZX09