Robert A. Henle, Irving T. Ho, G. A. Maley, Ronald Waxman. Structured logic. In American Federation of Information Processing Societies: Proceedings of the AFIPS '69 Fall Joint Computer Conference, November 18-20, 1969, Las Vegas, Navada, USA. Volume 35 of AFIPS Conference Proceedings, pages 61-67, AFIPS / ACM, 1969. [doi]
Abstract is missing.