This author has not been identified. Look up 'Harry Buhrman' in GoogleThis author has not been identified. Look up 'Matthew K. Franklin' in GoogleThis author has not been identified. Look up 'Juan A. Garay' in GoogleThis author has not been identified. Look up 'Jaap-Henk Hoepman' in GoogleThis author has not been identified. Look up 'John Tromp' in GoogleThis author has not been identified. Look up 'Paul M. B. Vitányi' in Google