TY  - BOOK
AU  - Shrobe, Howard E.
AU  - Waters, Richard C.
AU  - Sussman, G. J.
TI  - Hypothetical monologue illustrating the knowledge underlying program analysis
T2  - Artificial intelligence laboratory
U1  - 001.535 
PY  - 1979///
CY  - Cambridge, Mass
PB  - AIL
ER  -