. . "Hopcroft" . "Arthur" . "Arthur Hopcroft" . .