Static determination of dynamic properties of recursive procedures (1978)

by P Cousot, R Cousot
Venue:In Formal Description of Programming Concepts