Source: https://drops.dagstuhl.de/opus/volltexte/oasics-complete/oasics-vol31-fsfma2013-complete.pdf