1. Abou-Saleh, F., Cheney, J., Gibbons, J., McKinna, J., Stevens, P.: Notions of bidirectional computation and entangled state monads. Technical report, TLCBX project (2015), extended version with proofs, available from
http://arxiv.org/abs/1505.02579
2. Abou-Saleh, F., McKinna, J.: A coalgebraic approach to bidirectional transformations (2014). Short presentation at CMCS
3. Brady, E.: Programming and reasoning with algebraic effects and dependent types. In: ICFP, pp. 133–144. ACM (2013)
4. Cheney, J., McKinna, J., Stevens, P., Gibbons, J., Abou-Saleh, F.: Entangled state monads (abstract). In: Terwilliger and Hidaka [33]
5. Lecture Notes in Computer Science;A Cicchetti,2011