Real Computational Universality: The Word Problem for a Class of Groups with Infinite Presentation - Meer, Klaus; Ziegler, Martin (Mathematical Foundations of Computer Science 2007)