Method and Implementation of Data Flow Analysis for a Single Action in Action Calculi
JIN Ying, JIN Cheng-zhi,ZHENG Shuang
Journal of Jilin University Science Edition . 2003, (01): 54 -58 .