Source: https://clf.unige.ch/files/1214/4111/1968/06-Rubattel_nclf1.pdf