Lawrence H. Reeve Hyoil Han 264-279 2007 conf/dils/2007 DILS http://dx.doi.org/10.1007/978-3-540-73255-6_21 db/conf/dils/dils2007.html#ReeveH07