Michael G. Main, David B. Benson: Free Semiring-Representations and Nondeterminism. J. Comput. Syst. Sci. 30(3): 318-328 (1985)