A Static Analysis of Pascal Program Structures

G. R. Brookes, I. R. Wilson, A. M. Addyman. A Static Analysis of Pascal Program Structures. Software: Practice and Experience, 12(10):959-963, 1982.