Conditional Rewriting Logic: Deduction, Models and Concurrency.

José Meseguer Conditional Rewriting Logic: Deduction, Models and Concurrency. 64-91 1990 conf/ctrs/1990 CTRS db/conf/ctrs/ctrs90.html#Meseguer90