Largest induced subgraphs of the n-cube that contain no 4-cycles. - Karen Anne Johnson; Roger C. Entringer (J. Comb. Theory B, 1989)