Program design for knowledge based systems - Winstanley, Graham