Karoline Malmkjær Predicting Properties of Residual Programs. 8-13 1992 PEPM db/conf/pepm/pepm92.html#Malmkjaer92