Rewriting as a Unified Model of Concurrency, SRI (1990)

by J Meseguer