Melvin Klerer. Interactive programming and automated mathematics. In Melvin Klerer, Juris Reinfelds, editors, Proceedings of the ACM Symposium on Interactive Systems for Experimental Applied Mathematics, Washington, D.C., USA, August 1, 1967. pages 3-10, ACM, 1967. [doi]
Abstract is missing.