B. Klin and P. Sobocinski, “Syntactic Formats for Free: An Abstract Approach to Process Equivalence”, BRICS, vol. 10, no. 18, Apr. 2003.