1. Aßmann, U.: OPTIMIX, A Tool for Rewriting and Optimizing Programs. In: Graph Grammar Handbook, vol. II, Chapman-Hall, Boca Raton (1999)
2. Aßmann, U.: Graph rewrite systems for program optimization. ACM Transactions on Programming Languages and Systems 22(4), 583–637 (2000)
3. Aßmann, U.: Invasive Software Composition, February 2003. Springer, Heidelberg (2003)
4. Brassard, G., Bratley, P.: Algorithmics: Theory and Practice. Prentice-Hall, Englewood Cliffs (1988); This book contains a very nice chapter on probabilistic algorithms for a variety of problems such as numerical integration, sorting, and set equality
5. Christoph, A.: GREAT - a graph rewriting transformation framework for designs, April 2003. Electronic Notes in Theoretical Computer Science (ENTCS), vol. 82(4) (2003)