Maximal p-subgroups and the axiom of choice. - Paul E. Howard; Mary Yorke (Notre Dame J. Formal Log., 1987)