https://drops.dagstuhl.de/opus/volltexte/2018/8898/pdf/LIPIcs-AofA-2018-5.pdf 2018 Technology None