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. Proceedings of the International Symposium on Mathematical Foundations of Computer Science 1997, 249–258.