Coalgebraic aspects of bidirectional computation - Abou-Saleh, F; McKinna, J; Gibbons, J (Journal of Object Technology, 2017)