"David Permut"@cs .