Este premio fue renombrado a "Premio Dijkstra" el siguiente año en su honor.