Source: https://www.mathkang.org/pdf/cade2010-corr.pdf