L. Aceto, Z. Ésik, and A. Ingólfsdóttir, “The Max-Plus Algebra of the Natural Numbers has no Finite Equational Basis”, BRICS, vol. 6, no. 33, Dec. 1999.