Eva Rose Linear Time Hierarchies for a Functional Language Machine Model. 311-325 1996 conf/esop/1996 ESOP db/conf/esop/esop96.html#Rose96 http://dx.doi.org/10.1007/3-540-61055-3_45