Formal specification of advanced problem solving architectures - Craig, I. (Ellis Horwood series in artificial intelligence, 1990)