Z. Ésik, “Continuous Additive Algebras and Injective Simulations of Synchronization Trees”, BRICS, vol. 7, no. 25, Jan. 2000.