"DECSYSTEM-20"@cs .