G.: Lazy abstraction (2002)

by T A Henzinger, R Jhala, R Majumdar, Sutre
Venue:In: Proc. POPL