C. B. Carlson. The mechanization of a push-down stack. In James D. Tupac, editor, Proceedings of the 1963 fall joint computer conference, AFIPS 1963 (Fall), Las Vegas, Nevada, USA, November 12-14, 1963. pages 243-250, ACM, 1963. [doi]
Abstract is missing.