"Letham"@cs .