Boswell, R., Craw, S., "Knowledge modelling for a generic refinement framework.", Knowledge-based systems, 1999