An interval approach toward interprocedural analysis (1984)

by M BURKE