Ming-Yuan Zhu Computational Reflection in PowerEpsilon. 13-19 1994 29 SIGPLAN Notices 1 db/journals/sigplan/sigplan29.html#Zhu94