Vincent van Oostrom

• Processes, terms and cycles
• Rewriting Techniques and Applications
• Processes, Terms and Cycles : Steps on the Road to Infinity