Structured logic

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]

@inproceedings{HenleHMW69,
  title = {Structured logic},
  author = {Robert A. Henle and Irving T. Ho and G. A. Maley and Ronald Waxman},
  year = {1969},
  doi = {10.1145/1478559.1478567},
  url = {http://doi.acm.org/10.1145/1478559.1478567},
  researchr = {https://researchr.org/publication/HenleHMW69},
  cites = {0},
  citedby = {0},
  pages = {61-67},
  booktitle = {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},
  series = {AFIPS Conference Proceedings},
  publisher = {AFIPS / ACM},
}