Rewriting Logic as a Logical and Semantic Framework (1993)

by Narciso Martí-Oliet , José Meseguer
Citations:147 - 52 self