Wituła, Roman. “One-One and One-One onto Choice Functions”. Annales Mathematicae Silesianae, vol. 7, Sept. 1993, pp. 63-71, https://journals.us.edu.pl/index.php/AMSIL/article/view/14246.