W. Kulpa, S. Plewik, and M. Turzański, “Bolzano-Weierstrass principle of choice extended towards ordinals”, Ann. Math. Sil., vol. 17, pp. 9–16, Sep. 2003.