Papini, P. L. “Rascal Finite Sets”. Tamkang Journal of Mathematics, vol. 35, no. 4, Dec. 2004, pp. 351-8, doi:10.5556/j.tkjm.35.2004.193.