Source: https://amsacta.unibo.it/3517/1/postprint_ExMath.pdf