"Anton\u00EDn Nonfried"@cs .