Source: https://inria.hal.science/inria-00420990/PDF/adj_iis_final_all.pdf