Kulpa, W.; Plewik, S.; Turzański, M. Bolzano-Weierstrass Principle of Choice Extended towards Ordinals. Ann. Math. Sil. 2003, 17, 9-16.