"Herman Gunzenhauser"@cs .