Process and term tile logic (1998)

by R Bruni, J Meseguer, U Montanari