John Loader "The binary representation of $m$-valued logic with applications to universal decision elements.," Notre Dame Journal of Formal Logic, Notre Dame J. Formal Logic 20(1), 216-226, (January 1979)