Source: https://www.rairo-ro.org/articles/ro/pdf/1993/01/ro1993270100771.pdf