Cherubin, Stefano, Agosta, Giovanni, "Tools for Reduced Precision Computation: A Survey", ACM Computing Surveys, 2020