Pradubsuwun, D. “Verification of Concurrent Go Programs using Timed Trace Theory”. Journal of Current Science and Technology, vol. 15, no. 2, Mar. 2025, p. 94, doi:10.59796/jcst.V15N2.2025.94.