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 'Alban Ponse' in GoogleThis author has not been identified. Look up 'Scott A. Smolka' in Google