Noise Induced Hearing Loss: An Application of the Angelic Methodology
An abstract framework for argumentation with structured arguments