KulpaW., PlewikS., and TurzańskiM., “Bolzano-Weierstrass principle of choice extended towards ordinals”, AMSil, vol. 17, pp. 9-16, Sep. 2003.