Coalgebraic aspects of bidirectional computation (Journal of Object Technology, 2017)

(untitled) - Abou-Saleh, F; McKinna, J; Gibbons, J