Process and Term Tile Logic (1998)

by Roberto Bruni, José Meseguer, Ugo Montanari