Kumar Sahoo, Bidush, and Mitrabinda Ray. “Concurrent Bug Detection Using Invariant Analysis”. International Journal of Engineering & Technology, vol. 7, no. 3.4, June 2018, pp. 6-12, https://doi.org/10.14419/ijet.v7i3.4.14666.