Mapping Tile Logic into Rewriting Logic (1998)

by J Meseguer, U Montanari
Venue:in: Francesco Parisi-Presicce, Ed., Recent Trends in Algebraic Development Techniques, Spinger LNCS 1376