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