Simon C. Lambert: Knowledge-Based Control Systems. SOFSEM 2001: 75-89