Conditional Rewriting Logic as a Unified Model (1992)

by J Meseguer
Venue:of Concurrency. Theoretical Computer Science