Structured logic. - Richard A. Henle; Irving T. Ho; G. A. Maley; Ronald Waxman (AFIPS Fall Joint Computing Conference, 1969)