"SAMDOS"@cs .