1. Ambrosio, L., Gigli, N., Savaré, G.: Gradient Flows: in Metric Spaces and in the Space of Probability Measures. Springer, Heidelberg (2006)
2. Bishop, M.: Foundations of Constructive Analysis. McGraw-Hill Book Company, New York (1967)
3. Bournez, O., Campagnolo, M.L.: A survey on continuous time computations. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds.) New Computational Paradigms, pp. 383–423. Springer, New York (2008)
4. NATO ASI Series;TA Henzinger,2000
5. Jeandel, E.: Topological automata. Theor. Comput. Syst. 40(4), 397–407 (2007)