por MPC 2006 (8 : (2006 : Kuressaare, Estonia) | Uustalu, Tarmo [editor] | Mathematics of Program Construction (8 : 2006 : Kuressaare, Estonia).
por International Seminar on Relational Methods in Computer Science (9 : 2006 : Manchester, Inglaterra) | Schmidt, Renate A [editor] | International Workshop on Applications of Kleene Algebra (4 : 2006 : Manchester, Inglaterra).
por SAGA 2005 (3 : 2005 : Moscú, Rusia) | Lupanov, Oleg B [editor] | International Symposium SAGA 2005 (3 : 2005 : Moscú, Rusia).