This author has not been identified. Look up 'Andreas Blass' in GoogleThis author has not been identified. It may be one of the following persons: Look up 'Nachum Dershowitz' in GoogleThis author has not been identified. It may be one of the following persons: Look up 'Yuri Gurevich' in Google