Source: https://www.rairo-ro.org/articles/ro/pdf/1988/03/ro1988220302251.pdf