A fixpoint calculus for local and global program flows (2006)

by R Alur, S Chaudhuri, P Madhusudan
Venue:In: POPL’06. ACM