Yi-Jun Chang, Wenzheng Li, Seth Pettie: An optimal distributed (Δ+1)-coloring algorithm? STOC 2018: 445-456