This author has not been identified. It may be one of the following persons: Look up 'Jan A. Bergstra' in GoogleThis author has not been identified. It may be one of the following persons: Look up 'Inge Bethke' in GoogleThis author has not been identified. It may be one of the following persons: Look up 'Alban Ponse' in Google