"Abba Alef"@cs .