Noise Induced Hearing Loss: An Application of the Angelic Methodology. - Latifa Al-Abdulkarim; Katie Atkinson; Trevor J. M. Bench-Capon; Stuart Whittle; Rob Williams; Catriona Wolfenden (JURIX, 2017)

Realising ANGELIC Designs Using Logiak. - Katie Atkinson; Trevor J. M. Bench-Capon; Tom Routen; Alejandro Sánchez; Stuart Whittle; Rob Williams; Catriona Wolfenden (JURIX, 2019)

Noise induced hearing loss: Building an application using the ANGELIC methodology. - Latifa Al-Abdulkarim; Katie Atkinson; Trevor J. M. Bench-Capon; Stuart Whittle; Rob Williams; Catriona Wolfenden (Argument Comput., 2019)