Tom Winograd's original thesis writeup is here as [Procedures as a Representation for Data in a Computer Program for Understanding Natural Language](Procedures as a Representation for Data in a Computer Program for Understanding Natural Language.pdf)
A graphical overview of the original SHRDLU grammatical parser can be found in [Grammar for the People - Flowcharts of SHRDLU's Grammar](Grammar for the People - Flowcharts of SHRDLU's Grammar.pdf)
we also have documentation for:
- vintage 1970s MACLISP
- the DSL used to specify the grammar, PROGRAMMAR
- the theorem-proving system, Micro-Planner