Bernhard Banaschewski The Axiom of Countable Choice and Pointfree Topology. 245-258 2001 9 Applied Categorical Structures 3 http://dx.doi.org/10.1023/A:1011284016682 db/journals/acs/acs9.html#Banaschewski01