Raymond A. Wiesen, Douwe B. Yntema, James W. Forgie, Arthur N. Stowe. Coherent programming in the Lincoln Reckoner. 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 167-177, ACM, 1967. [doi]
Abstract is missing.