1. Butkovič, P.: Max-Linear Systems: Theory and Algorithms. Springer-Verlag London Ltd., London (2010)
2. Chen, Y., Hu, X., Luo, Y., Sapir, O.: The finite basis problem for the monoid of $$2\times 2$$ upper triangular tropical matrices. Bull. Aust. Math. Soc. 94(1), 54–64 (2016)
3. Daviaud, L., Johnson, M., Kambites, M.: Identities in upper triangular tropical matrix semigroups and the bicyclic monoid. J. Algebra 501, 503–525 (2018)
4. Daviaud, L., Johnson, M.: The shortest identities for max-plus automata with two states. In: Larsen, K.G., Bodlaender, H.L., Raskin, J.-F. (eds.) MFCS 2017, Leibniz International Proceedings in Informatics (LIPIcs), vol. 83, pp. 48:1–48:13. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Wadern (2017)
5. Gathmann, A.: Tropical algebraic geometry. Jahresbericht der DMV 108, 3–32 (2006)