Daniel J. Rosenkrantz Lenore M. R. Mullin Harry B. Hunt III On Materializations of Array-Valued Temporaries. 127-141 2000 conf/lcpc/2000 LCPC http://link.springer.de/link/service/series/0558/bibs/2017/20170127.htm db/conf/lcpc/lcpc2000.html#RosenkrantzMH00