R.: Static determination of dynamic properties of recursive procedures (1977)

by P Cousot, Cousot
Venue:Formal Descriptions of Programming Concepts, (IFIP WG 2.2