Noise Induced Hearing Loss: An Application of the Angelic Methodology
the aspic + framework for structured argumentation : a tutorial .