http://www.coe-mecs.at/WP/researchers/theory-pillar-c