Uwe Kastens M. Schmidt Lifetime Analysis for Procedure Parameters. 53-69 1986 conf/esop/1986 ESOP db/conf/esop/esop86.html#KastensS86 http://dx.doi.org/10.1007/3-540-16442-1_4