On the function ring functor in pointfree topology
continuous functions in pointfree topology
left adjoint to the function ring functor
scientific article; zbMATH DE number 5009044