Added entries for the EATCS articles by Edmund and Vladi.