J. de Resende Júnior, no. 7, pp. 348–374, Jun. 2018, doi: https://doi.org/10.5281/zenodo.1299185