F. Salsabila, F. Bukhari, and S. Nurdiati, “PROVING THE CORRECTNESS OF THE EXTENDED SERIAL GRAPH-VALIDATION QUEUE SCHEME IN THE CLIENT-SERVER SYSTEM”, BAREKENG: J. Math. & App., vol. 18, no. 2, pp. 1359-1368, May 2024.