Rewriting Logic as a Logical and Semantic Framework (1993)

by Narciso Martí-Oliet, José Meseguer