Eva Rose Linear-Time Hierarchies for a Functional Language Machine Model. 109-143 1998 32 Sci. Comput. Program. 1-3 db/journals/scp/scp32.html#Rose98