Rewriting as a unified model of concurrency (1990)

by Jose Meseguer
Venue:In Proceedings of the Concur '90 Conference, Lecture Notes in Computer Science