"Eckert-Mauchly Computer Corporation"@cs .