Stefano Kasangian Anna Labella Alberto Pettorossi Enriched Categories for Local and Interaction Calculi. 57-70 1987 conf/ctcs/1987 Category Theory and Computer Science db/conf/ctcs/ctcs1987.html#KasangianLP87