James R. Slagle. Formal integration on a digital computer. In Eric A. Weiss, editor, Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery, ACM 1959, Cambridge, Massachusetts, USA, September 1-3, 1959. ACM, 1959. [doi]
Abstract is missing.