Roberto Bruni, José Meseguer, Ugo Montanari: Symmetric Monoidal and Cartesian Double Categories as a Semantic Framework for Tile Logic. Math. Struct. Comput. Sci. 12(1): 53-90 (2002)