1. First-order topological axioms;Kopperman;J. Symb. Log.,1981
2. All topologies come from generalized metrics;Kopperman;Am. Math. Mon.,1988
3. Quantales and continuity spaces;Flagg;Algebra Univers.,1997
4. Probabilistic temporal logic falsification of cyber-physical systems;Abbas;ACM Trans. Embed. Comput. Syst. (TECS),2013
5. A fixed point theorem for contracting maps of symmetric continuity spaces;Ackerman,2016