A formal approach to implement java exceptions in cooperative systems - Hanazumi, Simone; Melo, Ana Cristina Vieira de (Journal of Systems and Software, 2017)