Dave King 0002 Boniface Hicks Michael Hicks Trent Jaeger Implicit Flows: Can't Live with 'Em, Can't Live without 'Em. 56-70 2008 ICISS http://dx.doi.org/10.1007/978-3-540-89862-7_4 conf/iciss/2008 db/conf/iciss/iciss2008.html#KingHHJ08