Formal specification of complex reasoning systems - Treur, Jan; Wetter, Thomas (Elis Horwood workshop series, 1993)