D. Pradubsuwun, “Verification of Concurrent Go Programs using Timed Trace Theory”, J. Curr. Sci. Technol., vol. 15, no. 2, p. 94, Mar. 2025.