Michael H. Hart
John (Jr.) Burk