Kulpa, Władysław, et al. “Bolzano-Weierstrass Principle of Choice Extended towards Ordinals”. Annales Mathematicae Silesianae, vol. 17, Sept. 2003, pp. 9-16, https://trrest.vot.pl/ojsus/index.php/AMSIL/article/view/14097.