1. Domain theory;Abramsky,1994
2. L. Ambrosio, N. Gigli, G. Savaré, Gradient Flows: In Metric Spaces and in the Space of Probability Measures, Birkhauser, Zürich, 2005.
3. Use of the Kolmogorov complexity in analyzing control system dynamics;Asarin;Automation and Remote Control,1986
4. Convergence of Probability Measures;Billingsley,1968
5. Computable versions of Baire’s category theorem;Brattka,2001