H. Rubin, J. E. Rubin "A theorem on $n$-tuples which is equivalent to the well-ordering theorem.," Notre Dame Journal of Formal Logic, Notre Dame J. Formal Logic 8(1-2), 48-50, (April 1967)