por Barnes, Donald W, 1935- [autor] | Mack, John M [autor].
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).