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