"Harry Green and Eugene"@cs .