Optimal Binary Decision Trees for Diagnostic Identification Problems - Garey, M. R (Ph. D. Thesis, 1970)