Program design for knowledge based systems - Winstanley, Graham (Sigma Press, 1987)