"IC 511"@cs .