Mathematics of time. - Smale Steave (1980)