Dynamical systems, simulation, abstract computation - Stefano Galatolo; Mathieu Hoyrup; Cristóbal Rojas (2011)