Hypothetical monologue illustrating the knowledge underlying program analysis - Shrobe, Howard E.; Waters, Richard C.; Sussman, G. J. (Cambridge, Mass AIL, 1979)