Recurrence in ergodic theory and combinatorial number theory. - Furstenberg H (1981)