A.R.: Using function abstraction to understand program behavior (1990)

by P A Hausler, M G Pleszkoch, R C Linger, Hevner
Venue:IEEE Softw