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