1. Constructive Analysis;Bishop,1985
2. Dynamical systems, measures and fractals via domain theory;Edalat,1993
3. Domain theory and integration;Edalat;Theoretical Computer Science,1995
4. Uniform test of algorithmic randomness over a general space;Gács;Theoretical Computer Science,2005
5. On computable metrization;Grubba;Electronic Notes in Theoretical Computer Science,2007