F. N. Salsabila, F. Bukhari, and S. Nurdiati, “Mathematical Study for Proving Correctness of the Serial Graph-Validation Queue Scheme”, JIMS, vol. 31, no. 2, p. 1592, Apr. 2025.