Symmetric monoidal and cartesian double categories as a semantic framework for tile logic (2000)

by R Bruni, J Meseguer, U Montanari
Venue:Mathematical Structures in Computer Science