Where do I send request for retirement benefits from Control Data Corporation Employees' Retirement Plan?

I know that my mothers CDC retirement payments came from Ceridian Corporation, which was spun off from CDC in 1992.