This author has not been identified. Look up 'Joseph Y. Halpern' in GoogleThis author has not been identified. Look up 'Barbara Simons' in GoogleThis author has not been identified. Look up 'H. Raymond Strong' in GoogleThis author has not been identified. Look up 'Danny Dolev' in Google