Knowledge engineering and computer modelling in CAD proceedings of CAD 86 ; London 2-5 Sept. 1986 (Butterworths, 1986)