The Gleason-Prange theorem is named after Gleason's work with AFCRL researcher Eugene Prange; it was originally published in a 1964 AFCRL research report by H. F. Mattson, Jr. and E. F. Assmus, Jr.
(In 1959 he wrote that his research "sidelines" included "an intense interest in combinatorial problems.")