[ACM] JACM 13(03) July 1966

[ACM] [ACM] JACM  

Overheu, D. L. (1966) Overheu, D. L. "An Abstract Machine for Symbolic Computation" pp444-468 Reinwald, L. T., and Soland, R. M., (1966) Reinwald, L. T., and Soland, R. M., "Conversion of Limited-Entry Decision Tables to Optimal Computer Programs I: Minimum Average Processing Time"