Towards Effects in Mathematical Operational Semantics. - Faris Abou-Saleh; Dirk Pattinson (MFPS, 2011)

Comodels and Effects in Mathematical Operational Semantics. - Faris Abou-Saleh; Dirk Pattinson (FoSSaCS, 2013)

Entangled State Monads. - James Cheney; James McKinna; Perdita Stevens; Jeremy Gibbons; Faris Abou-Saleh (EDBT/ICDT Workshops, 2014)

A coalgebraic semantics for imperative programming languages. - Faris Abou-Saleh (2014)

Notions of Bidirectional Computation and Entangled State Monads. - Faris Abou-Saleh; James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (MPC, 2015)

Introduction to Bidirectional Transformations. - Faris Abou-Saleh; James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (Bidirectional Transformations, 2016)

Reflections on Monadic Lenses. - Faris Abou-Saleh; James Cheney; Jeremy Gibbons; James McKinna; Perdita Stevens (A List of Successes That Can Change the World, 2016)

Coalgebraic Aspects of Bidirectional Computation. - Faris Abou-Saleh; James McKinna; Jeremy Gibbons (J. Object Technol., 2017)