Source: https://www.emse.fr/~dutertre/documents/DSF.pdf