Recursiveness - Eilenberg, Samuel (1970)