Michael H. Hart
Robert Choquette