This author has not been identified. Look up 'Bernhard Beckert' in GoogleThis author has not been identified. Look up 'Rajeev Goré' in GoogleThis author has not been identified. Look up 'Carsten Schürmann' in GoogleThis author has not been identified. Look up 'Thorsten Bormer' in GoogleThis author has not been identified. Look up 'Jian Wang' in Google