JOHN E HOPCROFT