by R. Hosemann and S. N. Bagchi. P. C. Lockemann and H. C. Mayr. by M. A. Grossmann and E. C. Bain. by Herbert Busemann and Paul J. Kelly. by Jan J. Tuma and R. K. Munshi.