The design and construction of flexible and interactive programming systems. - Mitchell, James G. (Outstanding dissertations in the computer sciences, 1979)