"Permonex"@cs .