Springer
Lecture Notes in Computer Science
International Symposium on Mathematical Foundations of Computer Science

Fokkink, W., & van de Pol, J. (1997). Simulation as a correct transformation of rewrite systems. In Proceedings of the International Symposium on Mathematical Foundations of Computer Science 1997 (pp. 249–258). Springer.