@inproceedings{conf/ctcs/Smyth85, title = {Finite Approximation of Spaces.}, author = {Michael B. Smyth}, booktitle = {CTCS}, crossref = {conf/ctcs/1985}, editor = {David H. Pitt and Samson Abramsky and Axel Poign{\~A}{\copyright} and David E. Rydeheard}, pages = {225-241}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, url = {http://dblp.uni-trier.de/db/conf/ctcs/ctcs1985.html#Smyth85}, volume = {240}, year = {1985}, biburl = {http://www.bibsonomy.org/bibtex/2bd5d3a4900b6b6b02025a44cb6dae425/bsmyth}, description = {dblp}, isbn = {3-540-17162-2}, date = {2002-12-16}, keywords = {dblp } }