Bertrand Ibrahim Honitriniela Randriamparany Execution semantics to integrate control flow and data flow. 40-43 2001 conf/cata/2001 Computers and Their Applications db/conf/cata/cata2001.html#IbrahimR01