On differential operators of infinite order - Steen, Pleun van der (Waltman, 1968)