Realcompactness and the Cozero Part of a Frame. - Bernhard Banaschewski; Christopher Gilmour (Appl. Categorical Struct., 2001)