Rewriting Logic as a Logical and Semantic Framework (1993)

by Narciso Martí-Oliet , José Meseguer
Citations:152 - 54 self