This author has not been identified. Look up 'Howard Barringer' in GoogleThis author has not been identified. Look up 'Bernd Finkbeiner' in GoogleThis author has not been identified. It may be one of the following persons: Look up 'Yuri Gurevich' in GoogleThis author has not been identified. Look up 'Henny B. Sipma' in Google