1. Ergodic Problems of Classical Mechanics;Arnold,1989
2. On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines;Blum,1989
3. Hybrid Systems,1993
4. On the definition of computable real continuous functions;Grzegorczyk;Fund. Math.,1957