Design as a formal, knowledge engineered activity - Akman, Varol; Hagen, Paul J. W. ten; Tomiyama, Tetsuo (1987)