Cristian S. Calude, S. Barry Cooper: Introduction: computability of the physical. Math. Struct. Comput. Sci. 22(5): 723-728 (2012)