update hopcroft citation