Conditional Rewriting Logic as a unified Model (1992)

by J Meseguer
Venue:Of Concurrency,” TCS