G. Jäger and T. M. G. Ahsanullah, “Quantale-valued Cauchy tower spaces and completeness”, Appl. Gen. Topol., vol. 22, no. 2, pp. 461–481, Oct. 2021.