1. Aceto, L., Esik, Z., Ingolfsdottir, A.: Equational theories of tropical semirings. Theoret. Comput. Sci. 298(3), 417–469 (2003)
2. Akian, M., Gaubert, S., Guterman, A.: Tropical Cramer determinants revisited. Trop. Idempotent Math. Appl. 616, 1–45 (2014)
3. Baccelli, F., Cohen, G., Olsder, G. J., Quadrat, J. P.: Synchronization and linearity: an algebra for discrete event systems, (1992)
4. Golan, J.S.: Semirings and their Applications. Springer, Berlin (2013)
5. Gondran, M., Minoux, M.: Graphs, Dioids and Semirings New Models and Algorithms. Springer, Berlin (2008)