R. Saputra, D. Suranti, and I. Beti, “Design And Development Of An Android-Based Automated Book Lending System Using Finite State Automata (FSA) And A Rule-Based Algorithm At The Bengkulu City Library And Archives Office”, jmcs, vol. 5, no. 4, pp. 1309-1316, Oct. 2026.