1. Akian, M., Gaubert, S., Guterman, A.: Tropical polyhedra are equivalent to mean payoff games. Int. J. Algebra Comput. 22(1), 125001 (2012)
2. Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.P.: Synchronization and Linearity: An Algebra for Discrete Event Systems. Wiley, Chichester (1992). web edn. 2001
3. Bellman, R., Karush, W.: On a new functional transform in analysis: the maximum transform. Bull. Am. Math. Soc. 67, 501–503 (1961)
4. Birkhoff, G.: Lattice Theory. American Mathematical Society, Providence (1967)
5. Blyth, T.S., Janowitz, M.F.: Residuation Theory. Pergamon Press, Oxford (1972)