Source: https://www.rairo-ro.org/articles/ro/pdf/1997/03/ro1997310302311.pdf