Source: https://pldo.hug.ch/sites/pldo/files/article_coordination_sion.pdf