record conf/esop/CairesPPT13

maintained by Schloss Dagstuhl LZI at University of Trier