This author has not been identified. Look up 'C. A. R. Hoare' in GoogleThis author has not been identified. Look up 'Ian J. Hayes' in GoogleThis author has not been identified. Look up 'Jifeng He' in GoogleThis author has not been identified. Look up 'Carroll Morgan' in GoogleThis author has not been identified. Look up 'A. W. Roscoe' in GoogleThis author has not been identified. Look up 'Jeff W. Sanders' in GoogleThis author has not been identified. Look up 'Ib Holm Sørensen' in GoogleThis author has not been identified. Look up 'J. Michael Spivey' in GoogleThis author has not been identified. Look up 'Bernard Sufrin' in Google