Matej Kosík: Taming of Pict. SOFSEM 2008: 610-621