Source: https://people.rennes.inria.fr/Albert.Benveniste/pub/RR-8147.pdf