F. Mynard, “Approach theory and pointfree convergence”, Top Proc, vol. 61, pp. 31–47, Dec. 2021.