Klin, B.; Sobocinski, P. Syntactic Formats for Free: An Abstract Approach to Process Equivalence. BRICS 2003, 10.