A researcher's Overview of the TROLL/1 system - Eisner, Mark (M.I.T., 1971)