["Theo: A Framework for Self-Improving Systems", Mitchell et

al, in Architectures for Intelligence, K. VanLehn ed, Erlbaum,

1989].