Pradubsuwun, Denduang. “Verification of Concurrent Go Programs using Timed Trace Theory”. Journal of Current Science and Technology 15, no. 2 (March 25, 2025): 94. accessed April 2, 2025. https://ph04.tci-thaijo.org/index.php/JCST/article/view/6072.