Reading list: AIG