Chang, J.; Wu, J.-L.; Wang, H.-J.; Guo, Z.-H. Total Colorings of $F_5$-Free Planar Graphs With Maximum Degree 8. Electron. J. Combin. 2014, 21, #P1.56.