The order topology for function lattices and realcompactness. Feldman, W.A.; Porter, J.F. — 1981 International Journal of Mathematics and Mathematical Sciences