Salsabila, F., F. Bukhari, and S. Nurdiati. “PROVING THE CORRECTNESS OF THE EXTENDED SERIAL GRAPH-VALIDATION QUEUE SCHEME IN THE CLIENT-SERVER SYSTEM”. BAREKENG: Jurnal Ilmu Matematika Dan Terapan, Vol. 18, no. 2, May 2024, pp. 1359-68, doi:10.30598/barekengvol18iss2pp1359-1368.