1. Aarts F, RJ De, Poll E (2013) Formal models of bank cards for free, In 2013 IEEE sixth international conference on software testing, verification, and validation workshops, IEEE, 461-468
2. Abolpour K, Zahedi MM (2017) General fuzzy automata based on complete residuated lattice-valued. Iran J Fuzzy Syst 14(5):103–121
3. Abolpour K, Zahedi MM, Shamsizadeh M (2020) Bl-general fuzzy automata and minimal realization: based on the associated categories. Iran J Fuzzy Syst 17(1):155–169
4. Adámek J, Trnková V (1990) Automata and algebras in categories, volume 37. Springer Science & Business Media
5. Arbib MA (1975) Arrows, structures, and functors: the categorical imperative. Academic Press