Bull Worldwide Information Systems, Inc. (-> Bull)
In 1993 Bull was renamed Bull Worldwide Information Systems.