"PDP-10"@cs .