Progress in Artifical Intelligence (Ellis Horwood, 1985)