Tomás Bures Martin Decký Petr Hnetynka Jan Kofron Pavel Parizek Frantisek Plasil Tomás Poch Ondrej Sery Petr Tuma 388-417 2007 CoCoME http://dx.doi.org/10.1007/978-3-540-85289-6_15 conf/dagstuhl/2007cocome db/conf/dagstuhl/cocome2007.html#BuresDHKPPPST07