Extending traces to factorial traces. - Elliott, George A.; Handelman, David E. (Mathematica Scandinavica, 1981)