Zhanyong Wan Walid Taha Paul Hudak Event-Driven FRP. 155-172 2002 conf/padl/2002 PADL http://link.springer.de/link/service/series/0558/bibs/2257/22570155.htm db/conf/padl/padl2002.html#WanTH02