Formal specification of complex reasoning systems - Treur, Jan (Ellis Horwood, 1993)