Xiang, Dongming, and Guanjun Liu. “Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net”. Computing and Informatics, vol. 39, no. 1-2, Feb. 2020, pp. 193-12, doi:10.31577/cai_2020_1-2_193.