Xiang, D. and Liu, G. (2020) “Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net”, COMPUTING AND INFORMATICS, 39(1-2), pp. 193–212. doi: 10.31577/cai_2020_1-2_193.