Source: https://hal.inria.fr/file/index/docid/560729/filename/relatM2.pdf