New foundations for tixpoint computations (1990)

by R L CROLE, A M PITTS
Venue:in “4th LICS Conference,” IEEE