"Francis J. Hopcroft"