On differential operators of infinite order - Steen, Pleun van der