Information-flow and data-flow analysis of while-programs (1985)

by J-F Bergeretti, B A Carré
Venue:ACM Transactions on Programming Languages and Systems