"Digital Research, Inc"@cs . "Digital Research"@cs .