pulsars (pulsating radio sources)