TY  - BOOK
AU  - Waters, Richard C.
TI  - Automatic analysis of the logical structure of programs
T2  - Artificial intelligence laboratory-TR-492
U1  - 005.3 
PY  - 1978///
CY  - Cambridge
PB  - Artificial Intelligence Laboratory
ER  -