No. 25 (2000): RS-25 Continuous Additive Algebras and Injective Simulations of Synchronization Trees