Kulpa, W. et al. 2003. Bolzano-Weierstrass principle of choice extended towards ordinals. Annales Mathematicae Silesianae. 17, (Sep. 2003), 9–16.