Source: https://drops.dagstuhl.de/opus/volltexte/2022/16259/pdf/LIPIcs-ECOOP-2022-31.pdf