Languages for triples, bicategories and braided monoidal categories C. Barry Jay — 1990 Cahiers de Topologie et Géométrie Différentielle Catégoriques
Compositional characterization of observable program properties B. Steffen; C. Barry Jay; M. Mendler — 1992 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications