Finite notations for infinite terms
scientific article; zbMATH DE number 1308087
scientific article