"Martin \u0160perl"@cs .