M. Escardó, “Injective locales over perfect embeddings and algebras of the upper powerlocale monad”, Appl. Gen. Topol., vol. 4, no. 1, pp. 193–200, Apr. 2003.