Rewriting as a unified model of concurrency - Meseguer, José (Computer Science Laboratory <Menlo Park, Calif.>: SRI-CSL, 1990)