An abstract machine data structure for non-procedural functional models. - Robert V. Zara; Kevin Rose; Ghulam Nurie; Harish Sarin (DAC, 1985)