@article{DBLP:journals/apal/KalantariW98,
author = {Iraj Kalantari and
Lawrence Welch},
title = {Point-Free Topological Spaces, Functions and Recursive Points:
Filter Foundation for Recursive Analysis I},
journal = {Ann. Pure Appl. Logic},
volume = {93},
number = {1-3},
year = {1998},
pages = {125-151},
ee = {http://dx.doi.org/10.1016/S0168-0072(97)00058-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}