An analysis of parameter evaluation for recursive procedures - Snyder, Lawrence (Dep. of Computer Science, Carnegie-Mellon Univ., 1973)