"John E. Hopcroft"