F. Galindo, “Boolean algebras, partial orders and axiom of choice”, DIVMAT, vol. 18, no. 1, pp. 34-54, Jun. 2017.