Salsabila, F.; Bukhari, F.; Nurdiati, S. PROVING THE CORRECTNESS OF THE EXTENDED SERIAL GRAPH-VALIDATION QUEUE SCHEME IN THE CLIENT-SERVER SYSTEM. BAREKENG: J. Math. & App. 2024, 18, 1359-1368.