A Hypothetical Dialogue Exhibiting a Knowledge Base For a Program-Understanding System

purl.stanford.edu/fq462gs7222