Rings of real functions in Pointfree Topology - Gutiérrez García, Javier (2010)