Waters, Richard C. Automatic analysis of the logical structure of programs by Richard C. Waters - Cambridge Artificial Intelligence Laboratory 1978 - vi, 207p. - Artificial intelligence laboratory-TR-492 . Dewey Class. No.: 005.3 / N78