Stefik, M.; Bobrow, D. G.; Mittal, S. Knowledge Programming in Loops. AIMag 1983, 4, 3.